@conference {205,
	title = {Are Good-for-Games Automata Good for Probabilistic Model Checking?},
	booktitle = {Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Joachim Klein and David M{\"u}ller and Christel Baier and Sascha Kl{\"u}ppelholz}
}