Go to the corresponding LIPIcs Volume Portal 
Chistikov, Dmitry ; Kiefer, Stefan ; Murawski, Andrzej S. ; Purser, David
pdfformat: 

@InProceedings{chistikov_et_al:LIPIcs:2020:12853, author = {Dmitry Chistikov and Stefan Kiefer and Andrzej S. Murawski and David Purser}, title = {{The BigO Problem for Labelled Markov Chains and Weighted Automata}}, booktitle = {31st International Conference on Concurrency Theory (CONCUR 2020)}, pages = {41:141:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771603}, ISSN = {18688969}, year = {2020}, volume = {171}, editor = {Igor Konnov and Laura Kov{\'a}cs}, publisher = {Schloss DagstuhlLeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12853}, URN = {urn:nbn:de:0030drops128534}, doi = {10.4230/LIPIcs.CONCUR.2020.41}, annote = {Keywords: weighted automata, labelled Markov chains, probabilistic systems} }
Keywords:  weighted automata, labelled Markov chains, probabilistic systems  
Collection:  31st International Conference on Concurrency Theory (CONCUR 2020)  
Issue Date:  2020  
Date of publication:  26.08.2020 