A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

✍ Scribed by M. Kacprzak; W. Penczek

• Publisher: Springer Netherlands
• Year: 2004
• Tongue: English
• Weight: 210 KB
• Volume: 142
• Category: Article
• ISSN: 0039-7857
• DOI: 10.1007/s11229-004-2446-8