877 search results - page 70 / 176 » Thomas: Practical Applications of Agents and Multiagent Syst... |
213
click to vote
ICFEM
2010
Springer
15 years 4 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...
205
click to vote
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
172
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
155
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
156
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Building multi-agent systems that can scale up to very large number of agents is a challenging research problem. In this paper, we present Distributed Multi Agent System Framework...