Verifying Multi-agent Programs by Model Checking
- 24 February 2006
- journal article
- Published by Springer Nature in Autonomous Agents and Multi-Agent Systems
- Vol. 12 (2) , 239-256
- https://doi.org/10.1007/s10458-006-5955-7
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Temporal Development Methods for Agent-BasedAutonomous Agents and Multi-Agent Systems, 2005
- Proving BDI Properties of Agent-Oriented Programming LanguagesAnnals of Mathematics and Artificial Intelligence, 2004
- Model Checking Rational AgentsIEEE Intelligent Systems, 2004
- Formal analysis of a space-craft controller using SPINIEEE Transactions on Software Engineering, 2001
- Remote Agent: to boldly go where no AI system has gone beforeArtificial Intelligence, 1998
- Decision procedures for BDI logicsJournal of Logic and Computation, 1998
- A formal specification of dMARSPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- AgentSpeak(L): BDI agents speak out in a logical computable languagePublished by Springer Nature ,1996
- Agent-oriented programmingArtificial Intelligence, 1993