Login / Signup

Computing Quantiles in Markov Reward Models.

Michael UmmelsChristel Baier
Published in: FoSSaCS (2013)
Keyphrases