Reference:

Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, and David Purser. The big-O problem for labelled Markov chains and weighted automata. In Igor Konnov and Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), volume 171 of LIPIcs, pages 41:1–41:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Suggested BibTeX entry:

@inproceedings{20CKMP-CONCUR,
    author = {Dmitry Chistikov and Stefan Kiefer and Andrzej S. Murawski and David Purser},
    booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)},
    editor = {Igor Konnov and Laura Kov{\'{a}}cs},
    pages = {41:1--41:19},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    series = {LIPIcs},
    title = {The Big-{O} Problem for Labelled {M}arkov Chains and Weighted Automata},
    volume = {171},
    year = {2020}
}