Verifying Robocup Teams.
Clara Benac EarleLars-Åke FredlundJosé Antonio IglesiasAgapito LedezmaPublished in: MoChArt (2008)
Keyphrases
- robotic soccer
- multi agent
- robocup soccer
- multiagent systems
- medium size
- autonomous agents
- team members
- test bed
- robot soccer
- reinforcement learning
- model checking
- team composition
- real world
- soccer game
- team formation
- motion control
- complex domains
- mobile robot
- cooperative
- fully autonomous
- multi agent systems
- soccer games