292 search results - page 39 / 59 » Model-checking agent refinement |
ECAI
2006
Springer
14 years 24 days ago
2006
Springer
We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...
SYNTHESE
2008
13 years 10 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
ICFEM
2010
Springer
13 years 9 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
AGENTS
2000
Springer
14 years 3 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
JAIR
2006
13 years 10 months ago
2006
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...