Towards symbolic model checking for multi-agent systems via OBDD'S

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3228, Issue , 2004, Pages 213-221

  Raimondi, Franco ^a   Lomuscio, Alessio ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS;

INTERPRETED SYSTEMS; OBDD; SYMBOLIC MODEL CHECKING;

MULTI AGENT SYSTEMS;

EID: 26444561536     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30960-4_14     Document Type: Conference Paper

References (15)

1. McCarthy, J.: Ascribing mental qualities to machines. In Ringle, M., ed.: Philosophical Perspectives in Artificial Intelligence. Humanities Press, Atlantic High-lands, New Jersey (1979) 161-195
2. Huth, M.R.A., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge, England (2000)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge, Massachusetts (1999)
4. Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multiagent systems with MABLE. In Gini, M., Ishida, T., Castelfranchi, C., Johnson, W.L., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), ACM Press (2002) 952-959
5. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation 8 (1998) 401-423
6. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). (2003)
7. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. Lecture Notes in Computer Science 1038 (1996) 42-58
8. Holzmann, G. J.: The model checker spin. IEEE transaction on software engineering 23 (1997)
9. van der Meyden, R., Shilov, N.V.: Model checking knowledge and time in systems with perfect recall. FSTTCS: Foundations of Software Technology and Theoretical Computer Science 19 (1999)
10. van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. Submitted (2002)
11. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts (1995)
12. McMillan, K.: Symbolic model checking: An approach to the state explosion problem. Kluwer Academic Publishers (1993)
13. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers (1986) 677-691
14. 20 states and beyond. Information and Computation 98 (1992) 142-170
15. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via model checking. Fundamenta Informaticae 55 (2003) 167-185