Magdalena Kacprzak, Wojciech Penczek. Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic:::1:::. Autonomous Agents and Multi-Agent Systems, 11(1):69-89, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.