151 search results - page 1 / 31 » On complexity of verification of interacting agents' behavio... |
APAL
2006
13 years 4 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
IAT
2006
IEEE
13 years 11 months ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...