Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Verifying Robocup Teams
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
JCR del ISI
No
Título de la revista
Electronic Notes in Theoretical Computer Science
ISSN
0302-9743
Factor de impacto JCR
0
Información de impacto
Volumen
5348
DOI
10.1007/978-3-642-00431-5_3
Número de revista
0
Desde la página
34
Hasta la página
48
Mes
FEBRERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • 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)
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)