Publication:
Verifying RoboCup Teams

Thumbnail Image
Identifiers
URI: https://hdl.handle.net/10016/10605
ISSN: 0302-9743 (print)
ISSN: 1611-3349 (online)
ISBN: 978-3-642-00430-8
DOI: 10.1007/978-3-642-00431-5_3
Files
verifying_iglesias_MOCHART_2008_ps.pdf (375.23 KB)
Publication date
2009
Defense date
Authors
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Impact
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
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.
Description
Pocreeding of: 5th International Workshop on Model Checking and Artificial Intelligence. MOCHART-2008, Patras, Greece, july, 21st, 2008.
Keywords
Bibliographic citation
Model checking and artificial intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer, 2009
Collections
DI - CAOS - Comunicaciones en Congresos y otros eventos
DI - CAOS - Capítulos de Monografías