High-Level Counterexamples for Probabilistic Automata

TitleHigh-Level Counterexamples for Probabilistic Automata
Publication TypeConference Paper
Year of Publication2013
AuthorsWimmer, R, Jansen, N, Vorpahl, A, Ábrahám, E, Katoen, J-P, Becker, B
Conference NameQuantitative Evaluation of Systems, QEST 2013
PublisherSpringer
Work Package: 
WP1