118 citations · 344 across the 22 of their papers we have counts for
1 paper · 1 filter
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…