Are Good-for-Games Automata Good for Probabilistic Model Checking?
| Title | Are Good-for-Games Automata Good for Probabilistic Model Checking? |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Klein, J, Müller, D, Baier, C, Klüppelholz, S |
| Conference Name | Proc. of the 8th International Conference on Language and Automata Theory and Applications (LATA) |
| Publisher | Springer |
Work Package:
WP1
