Intention is choice with commitment
Artificial Intelligence
Design and validation of computer protocols
Design and validation of computer protocols
Handbook of theoretical computer science (vol. B)
A semantics approach for KQML—a general purpose communication language for software agents
CIKM '94 Proceedings of the third international conference on Information and knowledge management
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Dynamic Logic
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Model Checking Algorithm for Multiagent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents
IEEE Intelligent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
Traceability and completeness checking for agent-oriented systems
Proceedings of the 2008 ACM symposium on Applied computing
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A flexible framework for verifying agent programs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Ontology-based test generation for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Reasoning about agent execution strategies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
Declarative Agent Languages and Technologies VI
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Formal verification of human-robot teamwork
Proceedings of the 4th ACM/IEEE international conference on Human robot interaction
Model Checking and Artificial Intelligence
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Agent-Oriented Software Engineering IX
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Evaluating software engineering techniques for developing complex systems with multiagent approaches
Information and Software Technology
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Specification of interlevel relations for agent models in multiple abstraction dimensions
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Annals of Mathematics and Artificial Intelligence
Model checking agent programming languages
Automated Software Engineering
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Agent and multi-agent software engineering: modelling, programming, and verification
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exponential acceleration of model checking for perfect recall systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Erlang as an implementation platform for BDI languages
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Programming and Computing Software
A Model-Driven CASE tool for developing and verifying regulated open MAS
Science of Computer Programming
Communications of the ACM
Formal modeling of robot behavior with learning
Neural Computation
| Hi-index | 0.02 |
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study.