High-Level Counterexamples for Probabilistic Automata
| Title | High-Level Counterexamples for Probabilistic Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Wimmer, R, Jansen, N, Vorpahl, A, Ábrahám, E, Katoen, J-P, Becker, B |
| Conference Name | Quantitative Evaluation of Systems, QEST 2013 |
| Publisher | Springer |
Work Package:
WP1
