176 search results - page 8 / 36 » On the Controller Synthesis for Finite-State Markov Decision... |
206
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-...
188
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
175
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Inference in Markov Decision Processes has recently received interest as a means to infer goals of an observed action, policy recognition, and also as a tool to compute policies. ...
180
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We consider the setting of multiple collaborative agents trying to complete a set of tasks as assigned by a centralized controller. We propose a scalable method called“Assignmen...