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

TitleAre Good-for-Games Automata Good for Probabilistic Model Checking?
Publication TypeConference Paper
Year of Publication2014
AuthorsKlein, J, Müller, D, Baier, C, Klüppelholz, S
Conference NameProc. of the 8th International Conference on Language and Automata Theory and Applications (LATA)
PublisherSpringer
Work Package: 
WP1