151 search results - page 1 / 31 » Model Checking Hybrid Multiagent Systems for the RoboCup |
ROBOCUP
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
AAAI
2006
13 years 6 months ago
2006
In a team-based multiagent system, the ability to construct a model of an opponent team's joint behavior can be useful for determining an agent's expected distribution o...
AGENTS
1999
Springer
13 years 9 months ago
1999
Springer
Increasingly, multi-agent systems are being designed for a variety of complex, dynamic domains. E ective agent interactions in such domains raise some of most fundamental research...
ROBOCUP
2001
Springer
13 years 9 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
KI
2008
Springer
13 years 4 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...