Computing Quantiles in Markov Reward Models.

Michael Ummels, Christel Baier

Browse the full FOSSACS paper archive.