2 search results - page 1 / 1 » Finite Optimal Control for Time-Bounded Reachability in CTMD... |
CORR
2010
Springer
13 years 4 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 4 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 ...