3 search results - page 1 / 1 » Optimal Time-Abstract Schedulers for CTMDPs and Markov Games |
32
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
CORR
2010
Springer
14 years 10 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-...
77
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...