Descripción
|
|
---|---|
Multi-agent systems are systems composed of multiple interacting autonomous agents forming complex systems. Verifying multiagent 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 a¿ords 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 veri¿cation technique to RoboCup teams. The experiments we conducted discovered a number of bugs in two such teams. | |
Internacional
|
Si |
Nombre congreso
|
12th International Conference on Computer Aided Systems Theory - EUROCAST 2009 |
Tipo de participación
|
960 |
Lugar del congreso
|
Las Palmas de Gran Canaria, Spain |
Revisores
|
Si |
ISBN o ISSN
|
978-3-642-04771-8 |
DOI
|
10.1007/978-3-642-04772-5 |
Fecha inicio congreso
|
15/02/2009 |
Fecha fin congreso
|
20/02/2009 |
Desde la página
|
263 |
Hasta la página
|
270 |
Título de las actas
|
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers |