Model checking strategic abilities of agents under incomplete information

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

Volumn 3701 LNCS, Issue , 2005, Pages 295-308

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

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Computational complexity; Games with incomplete information; Multi agent systems; Strategic ability; Temporal logic

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING;

ALTERNATING-TIME TEMPORAL LOGIC (ATL); FINE-STRUCTURED COMPLEXITY;

SOFTWARE AGENTS;

EID: 33646181781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560586_24     Document Type: Conference Paper

References (21)

1. R. Alur, L. de Alfaro, R. Grossu, T.A. Henzinger, M. Kang, C.M. Kirsch, R. Majumdar, F.Y.C. Mang, and B.-Y. Wang. jMocha: A model-checking tool that exploits design structure. In Proceedings of ICSE, pages 835-836. IEEE Computer Society Press, 2001.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science. (FOCS), pages 100-109. IEEE Computer Society Press, 1997.
3. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Lecture Notes in Computer Science, 1536:23-60, 1998.
4. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
5. R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, and S. Tasiran. MOCHA user manual. In Proceedings of CAV'98, volume 1427 of Lecture Notes in Computer Science, pages 521-525, 1998.
6. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
7. L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. The control of synchronous systems. In Proceedings of CONCUR 2000, volume 1877 of Lecture Notes in Computer Science, pages 458-473, 2000.
8. L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. The control of synchronous systems, part II. In Proceedings of CONCUR 2001, volume 2154 of Lecture Notes in Computer Science, pages 566-580, 2001.
9. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
10. E.A. Emerson and J.Y. Halpern. "sometimes" and "not never" revisited: On branching versus linear time temporal logic. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 151-178, 1982.
11. V. Goranko. Coalition games and alternating temporal logics. In J. van Benthem, editor, Proceedings of TARK VIII, pages 259-272. Morgan Kaufmann, 2001.
12. V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241-280, 2004.
13. W. Jamroga. Some remarks on alternating temporal epistemic logic. In B. Dunin-Keplicz and R. Verbrugge, editors, Proceedings of FAMAS 2003, pages 133-140, 2003. Updated version. Available at http://www.in.tu-clausthal.de/ $~\sim$wjamroga/papers/atelremarks03FAMAS.pdf.
14. W. Jamroga and J. Dix. Do agents make model checking explode (computationally)? In Proceedings of CEEMAS 2005, Lecture Notes in Computer Science. Springer Verlag, 2005. To appear.
15. W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2-3):185-219, 2004.
16. G. Jonker. Feasible strategies in Alternating-time Temporal Epistemic Logic. Master thesis, University of Utrecht, 2003.
17. M. Kacprzak and W. Penczek. Unbounded model checking for Alternating-time Temporal Logic. In Proceedings of AAMAS-04, 2004.
18. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
19. W. van der Hoek and M. Wooldridge. Tractable multiagent planning for epistemic goals. In C. Castelfranchi and W.L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-02), pages 1167-1174. ACM Press, New York, 2002.
20. W. van der Hoek and M. Wooldridge. Cooperation, knowledge and time: Alternating-time Temporal Epistemic Logic and its applications. Studia Logica, 75(1):125-157, 2003.
21. S. van Otterloo and G. Jonker. On Epistemic Temporal Strategic Logic. In Proceedings of LCMAS, pages 35-45, 2004.