Verifying RoboCup Teams

e-Archivo Repository

Show simple item record

dc.contributor.author Benac Earle, Clara
dc.contributor.author Fredlund, Lars-Ake
dc.contributor.author Iglesias Martínez, José Antonio
dc.contributor.author Ledezma Espino, Agapito Ismael
dc.date.accessioned 2011-04-01T12:29:39Z
dc.date.available 2011-04-01T12:29:39Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10016/10605
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.relation.publisherversion http://dx.doi.org/10.1007/978-3-642-00431-5_3
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