Markov Chains and Unambiguous Bchi Automata.

Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell

Browse the full CAV paper archive.