Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

Browse the full TACAS paper archive.