Continuous-Time Markov Decisions based on Partial Exploration

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…