11 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.FL2010★ 11 cited
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
Markus Rabe, Sven Schewe
We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a paramount role in dependabili…
cs.FL2010★ 4 cited
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games
Markus Rabe, Sven Schewe
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-…