MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE
Diaconu, Raluca, Dima, CătălinVolume:
26
Language:
english
Journal:
Applied Artificial Intelligence
DOI:
10.1080/08839514.2012.652905
Date:
April, 2012
File:
PDF, 346 KB
english, 2012