Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Martin R. Neuhäußer' in GoogleThis author has not been identified. It may be one of the following persons:

Lijun Zhang

Look up 'Lijun Zhang' in Google

runs on WebDSL