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

Christel Baier Boudewijn R. Haverkort Holger Hermanns Joost-Pieter Katoen Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. 61-76 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=61 2004 conf/tacas/2004 TACAS db/conf/tacas/tacas2004.html#BaierHHK04