Computing quantiles in Markov chains with multi-dimensional costs

Christoph Haase, Stefan Kiefer, Markus Lohrey
January 2017
PDF DOI
Type
Conference paper
Publication
Logic in Computer Science, LICS