The Big-O Problem for Labelled Markov Chains and Weighted Automata.

Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser

Browse the full CONCUR paper archive.