Do agents make model checking explode (computationally) ?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3690 LNAI, Issue , 2005, Pages 398-407

  Jamroga, Wojciech ^a   Dix, Jürgen ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Model checking; Multi agent systems; Temporal logic

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; CONCURRENT ENGINEERING; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

ALTERNATING TRANSITION; ATL MODEL; MODEL CHECKING; TEMPORAL LOGIC;

FORMAL LOGIC;

EID: 33646158928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11559221_40     Document Type: Conference Paper

References (9)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Lecture Notes in Computer Science, 1536:23-60, 1998.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
3. L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. The control of synchronous systems. In Proceedings of CONCUR 2000, pages 458-473, 2000.
4. L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. The control of synchronous systems, part II. In Proceedings of CONCUR 2001, pages 566-580, 2001.
5. T. Eiter. Oral communication. March 2005.
6. V. Goranko. Coalition games and alternating temporal logics. In Proceedings of TARK VIII, pages 259-272. Morgan Kaufmann, 2001.
7. V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241-280, 2004.
8. C.H. Papadimitriou. Computational Complexity. Addison Wesley: Reading, 1994.
9. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.