RT Conference Proceedings
T1 Verifying RoboCup Teams
A1 Benac Earle, Clara
A1 Fredlund, Lars-Ake
A1 Iglesias Martínez, José Antonio
A1 Ledezma Espino, Agapito Ismael
AB 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.
PB Springer
SN 978-3-642-00430-8
SN 0302-9743 (print)
SN 1611-3349 (online)
YR 2009
FD 2009
LK https://hdl.handle.net/10016/10605
UL https://hdl.handle.net/10016/10605
LA eng
NO Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008.
NO 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).
DS e-Archivo
RD 17 jul. 2024