116 search results - page 1 / 24 » Introducing Communication in Dis-POMDPs with Finite State Ma... |
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
Distributed Partially Observable Markov Decision Problems (DisPOMDPs) are emerging as a popular approach for modeling sequential decision making in teams operating under uncertain...
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
The Networked Distributed POMDPs (ND-POMDPs) can model multiagent systems in uncertain domains and has begun to scale-up the number of agents. However, prior work in ND-POMDPs has ...
ICDCS
1993
IEEE
13 years 8 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
ICNP
1996
IEEE
13 years 8 months ago
1996
IEEE
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...