Debugging and Verification of Multi-Agent Systems

Debugging and Verification of Multi-Agent Systems,10.1007/978-3-642-04772-5_35,Clara Benac Earle,Lars-åke Fredlund

Debugging and Verification of Multi-Agent Systems  
BibTex | RIS | RefWorks Download
Multi-agent systems are systems composed of multiple interacting autonomous agents forming complex systems. Verifying multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. In this paper, we propose the use of the McErlang model checker as a testing tool, as it affords precise control of the scheduling of agents, and provides convenient access to the internal states and actions of the agents. We illustrate the suitability of the approach by discussing our experiences in applying this verification technique to RoboCup teams. The experiments we conducted discovered a number of bugs in two such teams.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.