31 citations · 242 across the 55 of their papers we have counts for
1 paper · 2 filters
John Fearnley, Markus Rabe, Sven Schewe +1
We study the time-bounded reachability problem for continuous-time Markov decision processes (CTMDPs) and games (CTMGs). Existing techniques for this problem use discretisation tec…