@misc{indiciae334254e0c426, title = {Computing Quantiles in Markov Reward Models}, author = {Michael Ummels and Christel Baier}, year = {2013}, url = {https://arxiv.org/abs/1301.1818}, note = {Source identifier: 1301.1818} }