Verifying RoboCup Teams

e-Archivo Repository

Show simple item record Benac Earle, Clara Fredlund, Lars-Ake Iglesias Martínez, José Antonio Ledezma Espino, Agapito Ismael 2011-04-01T12:29:39Z 2011-04-01T12:29:39Z 2009
dc.identifier.bibliographicCitation Model checking and artificial intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer, 2009
dc.identifier.isbn 978-3-642-00430-8
dc.identifier.issn 0302-9743 (print)
dc.identifier.issn 1611-3349 (online)
dc.description Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008.
dc.description.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.
dc.description.sponsorship 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).
dc.format.mimetype text/plain
dc.format.mimetype application/pdf
dc.language.iso eng
dc.publisher Springer
dc.relation.ispartofseries Lecture notes in computer science, vol. 5348 (subseries: Lecture notes in artificial intelligence)
dc.rights © Springer-Verlag Berlin Heidelberg
dc.title Verifying RoboCup Teams
dc.type bookPart
dc.type conferenceObject
dc.description.status Publicado
dc.subject.eciencia Informática
dc.identifier.doi 10.1007/978-3-642-00431-5_3
dc.rights.accessRights openAccess
dc.type.version acceptedVersion
dc.relation.eventdate July 21, 2008
dc.relation.eventnumber 5
dc.relation.eventplace Patras (Greece)
dc.relation.eventtitle International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008
dc.relation.eventtype proceeding
dc.identifier.publicationtitle Model checking and artificial intelligence: 5th International Workshop, MoChArt 2008
 Find Full text

Files in this item

*Click on file's image for preview. (Embargoed files's preview is not supported)

This item appears in the following Collection(s)

Show simple item record