|
Archivo Abierto Institucional de la Universidad Carlos III de Madrid >
Investigación >
Departamentos >
Departamento de Informática >
Grupo de Control, Aprendizaje y Optimización de Sistemas (CAOS) >
DI - CAOS - Comunicaciones en Congresos y otros eventos >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10016/10605
|
| Title: | Verifying RoboCup Teams |
| Author(s): | Benac Earle, Clara
Fredlund, Lars-Ake
Iglesias, José Antonio
Ledezma, Agapito |
| Publisher: | Springer |
| Issued date: | 2009 |
| Citation: | Model checking and artificial intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer, 2009 |
| URI: | http://hdl.handle.net/10016/10605 |
| ISBN: | 978-3-642-00430-8 |
| ISSN: | 0302-9743 (print)
1611-3349 (online) |
| DOI: | http://dx.doi.org/10.1007/978-3-642-00431-5_3 |
| Description: | Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008. |
| Abstract: | Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. An example of such a system is the RoboCup Soccer Simulator, where two teams of eleven independent agents play a game of football against each other. In the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams. |
| Sponsor: | This work has been partially supported by the FP7-ICT-2007-1 project ProTest (215868), a Ramón y Cajal grant from the Spanish Ministerio de Educación y Ciencia, and the Spanish national projects TRA2007-67374-C02-02, TIN2006-15660-C02- 02 (DESAFIOS) and S-0505/TIC/0407 (PROMESAS). |
| Serie / Nº.: | Lecture notes in computer science, vol. 5348 (subseries: Lecture notes in artificial intelligence) |
| Publisher version: | http://dx.doi.org/10.1007/978-3-642-00431-5_3 |
| Rights: | © Springer-Verlag Berlin Heidelberg |
| Appears in Collections: | DI - CAOS - Capítulos de Monografías
DI - CAOS - Comunicaciones en Congresos y otros eventos
|
Items in E-Archivo are protected by copyright, with all rights reserved, unless otherwise indicated.
|
