151 search results - page 21 / 31 » On complexity of verification of interacting agents' behavio... |
173
click to vote
APIN
1998
15 years 5 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
173
click to vote
ROBOCUP
2007
Springer
16 years 8 days 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...
147
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
We have created an automatic cinematography system for interactive virtual environments. This system controls a virtual camera and lights in a three-dimensional virtual world inha...
152
click to vote
AAAI
2006
15 years 7 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
162
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...