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
  If you are interested in our implementation of the PRISM extension for DTMC model checking using unambiguous Büchi automata and the experiments we carried out for this paper,
  please contact klein@tcs.inf.tu-dresden.de and david.mueller@tcs.inf.tu-dresden.de.

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