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

Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz

Browse the full LATA paper archive.