CAP Project

[ButkovaHHK15] Optimal Continuous Time Markov Decisions Butkova, Y.; Hatefi, H.; Hermanns, H. and Krcál, J. In Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pages 166-182, Springer, Lecture Notes in Computer Science 9364, 2015.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-24953-7_12