@inproceedings{FoSSaCS-2014-Fu,
author = "Hongfei Fu",
booktitle = "{Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/978-3-642-54830-7_5",
isbn = "978-3-642-54829-1",
pages = "73--87",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes}",
volume = 8412,
year = 2014,
}

### Tags: