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

• Implementation and Experiments
  The implementation together with the conducted case studies can be downloaded from here.

List of publications of Prof. Baier's group, Homepage of Stefan Kiefer, Homepage of James Worrell.