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]
@inproceedings{NeuhausserZ10,
title = {Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes},
author = {Martin R. Neuhäußer and Lijun Zhang},
year = {2010},
doi = {10.1109/QEST.2010.47},
url = {http://dx.doi.org/10.1109/QEST.2010.47},
tags = {Markov},
researchr = {https://researchr.org/publication/NeuhausserZ10},
cites = {0},
citedby = {0},
pages = {209-218},
booktitle = {QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4188-4},
}