Model checking knowledge, strategies, and games in multi-agent systems

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 161-168

  Lomuscio, Alessio ^a   Raimondi, Franco ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

ATL; Model checking multi agent systems

Indexed keywords

ALGORITHMS; GAME THEORY; KNOWLEDGE ACQUISITION; MULTI AGENT SYSTEMS;

EPISTEMIC FORMULAE; MODEL CHECKING KNOWLEDGE;

MATHEMATICAL MODELS;

EID: 34247197766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160660     Document Type: Conference Paper

References (25)

1. T. Agotnes. Action and knowledge in Alternating-time Temporal Logic. Synthese, 2005. Special issue on Knowledge, Rationality and Action.
2. R. Alur, T. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran. MOCHA: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (CAV'98), volume 1427 of LNCS, pages 521-525. Springer-Verlag, 1998.
3. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, 2002.
4. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In J. S. Rosenschein, T. Sandholm, W. Michael, and M. Yokoo, editors, Proceedings of the Second Intemational Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS-03), pages 409-416. ACM Press, 2003.
5. R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers, 35(8):677-691, 1986.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
7. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
8. P. Gammie and R. van der Meyden. MCK: Model checking the logic of knowledge. In Proceedings of 16th International Conference on Computer Aided Verification (CAV'04), volume 3114 of LNCS, pages 479-483. Springer-Verlag, 2004.
9. V. Goranko and W. Jamroga. Comparing semantics for logics of multi-agent systems. Synthese, 139(2):241-280, 2004.
10. W. Hoek, W. Jamroga, and M. Wooldridge. A logic for strategic reasoning. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 157-164, New York, NY, USA, 2005. ACM Press.
11. W. Hoek and M. Wooldridge. Tractable multiagent planning for epistemic goals. In M. Gini, T. Ishida, C. Castelfranchi, and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 1167-1174. ACM Press, 2002.
12. W. Jamroga. Some remarks on alternating temporal epistemic logic. In B. Dunin-Kȩplicz and R. Verbrugge, editors, Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), pages 133-140, 2004.
13. W. Jamroga. Using Multiple Models of Reality. On Agents who Know how to Play Safer. PhD thesis, University of Twente, Enschede, The Netherlands, 2004.
14. W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 62:1-35, 2004.
15. G. Jonker. Feasible strategies in alternating-time temporal epistemic logic. Master's thesis, University of Utrech, The Netherlands, 2003.
16. M. Kacprzak and W. Penczek. A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic. Synthese, 142:203-227, 2004.
17. A. Lomuscio. Knowledge Sharing among Ideal Agents. PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK, June 1999.
18. R. C. Moore. A formal theory of knowledge and action. In J. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 480-519. Kaufmann, San Mateo, CA, 1990.
19. W. Nabialek, A. Niewiadomski, W. Penczek, A. Pólrola, and M. Szreter. VerICS 2004: A model checker for real time and multi-agent systems. In Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'04), volume 170 of Informatik-Berichte, pages 88-99. Humboldt University, 2004.
20. S. Otterloo, W. van der Hoek, and M. Wooldridge. Knowledge as strategic ability. ENCTS, 85(2): 1-23, 2003.
21. F. Raimondi and A. Lomuscio. MCMAS - A tool for verification of multi-agent systems. http://www.cs.ucl.ac.uk/staff/f.raimondi/MCMAS/.
22. F. Raimondi and A. Lomuscio. Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic, 2005. To appear in Special issue on Logic-based agent verification.
23. P. Y. Schobbens. Alternating-time logic with imperfect recall. In International workshop on Logic and Communication in Multi-Agent Systems (LCMAS03), volume 85(2), pages 1-12, 2004.
24. F. Somenzi. CUDD: CU decision diagram package - release 2.4.0. http://vlsi.colorado.edu/fabio/CUDD/cuddIntro.html, 2005.
25. M. Wooldridge, M. Fisher, M. Huget, and S. Parsons. Model checking multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.