Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Verifying Robocup Teams
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
Nombre congreso
2008 workshop on Model Checking and Artificial Intelligence (MochART)
Tipo de participación
960
Lugar del congreso
Patras, Grecia
Revisores
Si
ISBN o ISSN
978-3-642-00430-8
DOI
10.1007/978-3-642-00431-5
Fecha inicio congreso
21/07/2008
Fecha fin congreso
21/07/2008
Desde la página
34
Hasta la página
48
Título de las actas
In Proceedings of the 2008 workshop on Model Checking and Artificial Intelligence (MochART)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: J. Iglesias
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: A. Ledezma
  • Autor: Clara Benac Earle (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)