Computing Quantiles in Markov Reward Models

TitleComputing Quantiles in Markov Reward Models
Publication TypeConference Paper
Year of Publication2013
AuthorsUmmels, M, Baier, C
Conference NameFoundations of Software Science and Computation Structures, 16th International Conference, FOSSACS13
PublisherSpringer
DOI10.1007/978-3-642-37075-5_23
Work Package: 
WP1