Markov Chains and Unambiguous Büchi Automata
- Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell:
Markov Chains and Unambiguous Büchi Automata
Proc. 28th International Conference on Computer Aided Verification (CAV'16) - Part I,
pp 23-42, LNCS 9779, Springer
- Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell:
Markov Chains and Unambiguous Büchi Automata (extended version, Arxiv, PDF)
Additional materials
List of publications of Prof. Baier's group,
Homepage of Stefan Kiefer,
Homepage of James Worrell.