Model checking agent programs by using the program interpreter

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

Volumn 6245 LNAI, Issue , 2010, Pages 219-237

  Jongmans, Sung Shik T Q ^a   Hindriks, Koen V ^a   Van Riemsdijk, M Birna ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT INFRASTRUCTURE; AGENT PROGRAMMING; INTERMEDIATE LANGUAGES; MODEL CHECK; MODEL CHECKER; NEW APPROACHES; ON-THE-FLY; STATE SPACE; STATE-SPACE REDUCTION; TEMPORAL PROPERTY;

LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PROGRAM INTERPRETERS;

MODEL CHECKING;

EID: 77956517794     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14977-1_17     Document Type: Conference Paper

References (21)

1. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 409-416. ACM, New York (2003)
2. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.3067, pp. 72-89. Springer, Heidelberg (2004)
3. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verificiation of multi-agent programs. In: 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 69-78. IEEE Computer Society, Los Alamitos (2008)
4. Dennis, L.A., Fisher, M.: Programming verifiable heterogeneous agent systems. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) ProMAS 2008. LNCS, vol.5442, pp. 40-55. Springer, Heidelberg (2009)
5. Kacprzak, M., Nabialek, W., Niewiadomski, A., Penczek, W., P̈olrola, A., Szreter, M., Wozna, B., Zbrzezny, A.: Verics 2007-a model checker for knowledge and real-time. Fundamenta Informaticae 85, 313-328 (2008)
6. Lomuscio, A., Raimondi, F.: Mcmas: a model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.3920, pp. 450-454. Springer, Heidelberg (2006)
7. van Riemsdijk, M.B., de Boer, F.S., Dastani, M., Meyer, J.J.C.: Prototyping 3apl in the maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.4371, pp. 95-114. Springer, Heidelberg (2007)
8. Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 952-959. ACM, New York (2002)
9. Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)
10. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A common semantic basis for bdi languages. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.4908, pp. 124-139. Springer, Heidelberg (2008)
11. Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering 10, 203-232 (2004)
12. Clavel, M., Duran, F., Eker, S., Lincoln, P., Martiα-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285, 187-243 (2002)
13. Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude ltl model checker. In: Proceedings of the 4th International Workshop on Rewriting Logic and its Applications, pp. 162-187. Elsevier Science, Amsterdam (2002)
14. Hindriks, K.V., de Boer, F.S., van der Hoek,W.,Meyer, J.J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesperance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.1986, pp. 248-257. Springer, Heidelberg (2001)
15. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)
16. Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.B, pp. 996-1072. Elsevier, Amsterdam (1990)
17. Hindriks, K.V.: Programming rational agents in goal. Multi-Agent Programming, 119-157 (2009)
18. Slaney, J., Thïebaux, S.: Blocks world revisited. Artificial Intelligence 125, 119-153 (2001)
19. Daniele, M., Giunchiglia, F., Vardi, M.Y.: Improved automata generation for linear temporal logic. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.1633, pp. 249-260. Springer, Heidelberg (1999)
20. Tauriainen, H.: Nested emptiness search for generalized buchi automata. In: Proceedings of the 4th International Conference on Application of Concurrency to System Design, pp. 165-174 (2004)
21. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)