Publication:
Verifying RoboCup Teams

Simple item page
dc.affiliation.dptoUC3M. Departamento de Informáticaes
dc.affiliation.grupoinvUC3M. Grupo de Investigación: Laboratorio de Control, Aprendizaje y Optimización de Sistemas (CAOS)es
dc.contributor.authorBenac Earle, Clara
dc.contributor.authorFredlund, Lars-Ake
dc.contributor.authorIglesias Martínez, José Antonio
dc.contributor.authorLedezma Espino, Agapito Ismael
dc.date.accessioned2011-04-01T12:29:39Z
dc.date.available2011-04-01T12:29:39Z
dc.date.issued2009
dc.descriptionPocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008.
dc.description.abstractVerification 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.sponsorshipThis 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.description.statusPublicado
dc.format.mimetypetext/plain
dc.format.mimetypeapplication/pdf
dc.identifier.bibliographicCitationModel checking and artificial intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer, 2009
dc.identifier.doi10.1007/978-3-642-00431-5_3
dc.identifier.isbn978-3-642-00430-8
dc.identifier.issn0302-9743 (print)
dc.identifier.issn1611-3349 (online)
dc.identifier.publicationtitleModel checking and artificial intelligence: 5th International Workshop, MoChArt 2008
dc.identifier.urihttps://hdl.handle.net/10016/10605
dc.language.isoeng
dc.publisherSpringer
dc.relation.eventdateJuly 21, 2008
dc.relation.eventnumber5
dc.relation.eventplacePatras (Greece)
dc.relation.eventtitleInternational Workshop on Model Checking and Artificial Intelligence. MOCHART-2008
dc.relation.ispartofseriesLecture notes in computer science, vol. 5348 (subseries: Lecture notes in artificial intelligence)
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-642-00431-5_3
dc.rights© Springer-Verlag Berlin Heidelberg
dc.rights.accessRightsopen access
dc.subject.ecienciaInformática
dc.titleVerifying RoboCup Teams
dc.typeconference paper*
dc.type.hasVersionAM*
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
verifying_iglesias_MOCHART_2008_ps.pdf
Size:
375.23 KB
Format:
Adobe Portable Document Format
Download
Collections
DI - CAOS - Comunicaciones en Congresos y otros eventos
DI - CAOS - Capítulos de Monografías