Sciweavers

338 search results - page 4 / 68
» A Formal Approach to Design and Reuse Agent and Multiagent M...
Sort
View
ATAL
2007
Springer
14 years 7 days ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
ATAL
2006
Springer
13 years 9 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák
FAABS
2004
Springer
13 years 11 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
ICMAS
2000
13 years 7 months ago
Communication in Multi-Agent Markov Decision Processes
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
Ping Xuan, Victor R. Lesser, Shlomo Zilberstein
AI
2007
Springer
14 years 7 days ago
Planning in Multiagent Expedition with Collaborative Design Networks
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
Yang Xiang, Franklin Hanshar