Debugging and Verification of Multi-Agent Systems
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.