Computing Quantiles in Markov Reward Models
Title | Computing Quantiles in Markov Reward Models |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Ummels, M, Baier, C |
Conference Name | Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS13 |
Publisher | Springer |
DOI | 10.1007/978-3-642-37075-5_23 |
Work Package:
WP1