Memorias de investigación
Research Publications in journals:
Verifying Robocup Teams
Year:2009

Research Areas
  • Programming language

Information
Abstract
Abstract. Veri¿cation 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 e¿cient manner we use the McErlang model checker, as it a¿ords 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.
International
Si
JCR
No
Title
Electronic Notes in Theoretical Computer Science
ISBN
0302-9743
Impact factor JCR
0
Impact info
Volume
5348
10.1007/978-3-642-00431-5_3
Journal number
0
From page
34
To page
48
Month
FEBRERO
Ranking
Participants
  • Autor: José Antonio Iglesias Grupo CAOS, Universidad Carlos III de Madrid
  • Autor: Lars-Ake Fredlund UPM
  • Autor: Agapito Ledezma Grupo CAOS, Universidad Carlos III de Madrid
  • Autor: Clara Benac Earle UPM

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software