3 search results - page 1 / 1 » Optimal Time-Abstract Schedulers for CTMDPs and Markov Games |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CORR
2010
Springer
13 years 5 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-...
CORR
2010
Springer
13 years 5 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 ...