8 citations · 43 across the 25 of their papers we have counts for
1 paper · 2 filters
Pranav Ashok, Yuliya Butkova, Holger Hermanns +1
We provide a framework for speeding up algorithms for time-bounded reachability analysis of continuous-time Markov decision processes. The principle is to find a small, but almost…