Details for the publication NeuhausserZ10.

Martin R. Neuhäußer, Lijun Zhang: Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pages 209-218, 2010. DOI BIB