Model checking multi-agent programs with CASP

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

Volumn 2725, Issue , 2003, Pages 110-113

  Bordini, Rafael H ^a   Fisher, Michael ^a   Pardavila, Carmen ^a   Visser, Willem ^b   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b Research Institute for Advanced Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33745752690     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_10     Document Type: Article

References (9)

1. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, 2003.
2. R. H. Bordini, W. Visser, M. Fisher, and M. Wooldridge. Model checking a reactive planning language for multi-agent systems. Submitted, 2003.
3. A. Cimatti et al.. NuSMV2: an opensource tool for symbolic model checking. 14th Int. Conf. on Computer Aided Verification, LNCS 2404, Springer-Verlag, 2002.
4. M. Fisher and W. Visser. Verification of autonomous spacecraft control - a logical vision of the future. Workshop on AI Planning and Scheduling For Autonomy in Space Applications, co-located with TIME, 2002.
5. G. J. Holzmann. The Spin model checker. IEEE Transaction on Software Engineering, 23(5):279-295, May 1997.
6. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. 7th MAAMAW Workshop, LNAI 1038, London, 1996. Springer-Verlag.
7. A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-343, 1998.
8. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. 15th Int. Conf. on Automated Software Engineering. IEEE Computer Society, 2000.
9. M. Wooldridge. Reasoning about Rational Agents. The MIT Press, Cambridge, MA, 2000.