118 citations · 344 across the 22 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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-…