Are Good-for-Games Automata Good for Probabilistic Model Checking?

• Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz:
  Are Good-for-Games Automata Good for Probabilistic Model Checking? (LATA'14, LNCS 8370)
• Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz:
  Are Good-for-Games Automata Good for Probabilistic Model Checking? (extended version, PDF)

For further details on our experiments and implementation please contact the authors at good4games@mailbox.tu-dresden.de.

List of publications of Prof. Baier's group.