Artificial Intelligence
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
Model checking
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
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
A flexible framework for verifying agent programs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Formal verification of human-robot teamwork
Proceedings of the 4th ACM/IEEE international conference on Human robot interaction
Creating automated plans for Semantic Web applications through planning as model checking
Expert Systems with Applications: An International Journal
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
Annals of Mathematics and Artificial Intelligence
Formal methods for the certification of autonomous unmanned aircraft systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Model checking agent programming languages
Automated Software Engineering
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
BDI agent programming in agentspeak using Jason
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Mesoscopic modeling of emergent behavior – a self-organizing deliberative minority game
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
International Journal of Intelligent Information Technologies
| Hi-index | 0.00 |
The authors use model-checking techniques to automatically verify multiagent systems written in a logic-based agent-oriented programming language. The approach is to translate the language into the input notations of existing model checkers. Furthermore, property-based slicing can reduce a multiagent system's state space, thus improving the efficiency of model checking. The analysis of a typical scenario of an autonomous Mars rover illustrates this approach.