The complementation problem for Bu¨chi automata with applications to temporal logic
Theoretical Computer Science
Distributed Artificial Intelligence
Distributed Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Artificial Intelligence
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
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
Economic principles of multi-agent systems
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Coalitions among computationally bounded agents
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Applications of intelligent agents
Agent technology
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Model checking
Trends in Cooperative Distributed Problem Solving
IEEE Transactions on Knowledge and Data Engineering
Using Archon, Part 2: Electricity Transportation Management
IEEE Expert: Intelligent Systems and Their Applications
Computational Markets to Regulate Mobile-Agent Systems
Autonomous Agents and Multi-Agent Systems
Automated Software Engineering
Market-Based Call Routing in Telecommunications Networks Using Adaptive Pricing and Real Bidding
IATA '99 Proceedings of the Third International Workshop on Intelligent Agents for Telecommunication Applications
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Market Protocol for Decentralized Task Allocation
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents
IEEE Intelligent Systems
Agents in Traffic and Transportation (Whitestein Series in Software Agent Technologies)
Agents in Traffic and Transportation (Whitestein Series in Software Agent Technologies)
MAGENTA technology: multi-agent systems for industrial logistics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Efficient explicit-state model checking for programs with dynamically allocated data
Efficient explicit-state model checking for programs with dynamically allocated data
Proceedings of the 9th ACM conference on Electronic commerce
ACM Conference on Electronic Commerce
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Formal verification of WAHS: an autonomous and wireless P2P auction handling system
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Programming Verifiable Heterogeneous Agent Systems
Programming Multi-Agent Systems
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Property-based Slicing for Agent Verification
Journal of Logic and Computation
Exploring bidding strategies for market-based scheduling
Decision Support Systems - Special issue: The fourth ACM conference on electronic commerce
Resource allocation in communication networks using market-based agents
Knowledge-Based Systems
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Model checking agent programs by using the program interpreter
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Market-Based Task Allocation Mechanisms for Limited-Capacity Suppliers
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Editorial: Software agents in health care
Artificial Intelligence in Medicine
Formal methods for the certification of autonomous unmanned aircraft systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Agent and multi-agent software engineering: modelling, programming, and verification
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Verifying brahms human-robot teamwork models
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Runtime verification of multi-agent systems interaction quality
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
A synergistic and extensible framework for multi-agent system verification
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Communications of the ACM
Combined model checking for temporal, probabilistic, and real-time logics
Theoretical Computer Science
Compliance checking of integrated business processes
Data & Knowledge Engineering
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.02 |
In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification system and the agent programming language, that maps the semantics of agent programs into the relevant model-checking framework. Crucially, this abstraction layer is both flexible and extensible; not only can a variety of different agent programming languages be implemented and verified, but even heterogeneous multi-agent programs can be captured semantically. In addition to describing this layer, and the semantic mapping inherent within it, we describe how the underlying model-checker is driven and how agent properties are checked. We also present several examples showing how the system can be used. As this is the first system of its kind, it is relatively slow, so we also indicate further work that needs to be tackled to improve performance.