Symbolic counterexample generation for large discrete-time Markov chains

TitleSymbolic counterexample generation for large discrete-time Markov chains
Publication TypeJournal Article
Year of Publication2014
AuthorsJansen, N, Wimmer, R, Ábrahám, E, Zajzon, B, Katoen, J-P, Becker, B, Schuster, J
JournalSci. Comput. Program.
Volume91
Pagination90-114
Work Package: 
WP1