355 search results - page 29 / 71 » A general, fully distributed multi-agent planning algorithm |
142
click to vote
ENTCS
2006
15 years 3 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
148
Voted
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...
131
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
147
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
123
Voted
PODC
2005
ACM
15 years 9 months ago
2005
ACM
Deadlock detection scheduling is an important, yet oft-overlooked problem that can significantly affect the overall performance of deadlock handling. An excessive initiation of ...