Symbolic counterexample generation for large discrete-time Markov chains
| Title | Symbolic counterexample generation for large discrete-time Markov chains |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Jansen, N, Wimmer, R, Ábrahám, E, Zajzon, B, Katoen, J-P, Becker, B, Schuster, J |
| Journal | Sci. Comput. Program. |
| Volume | 91 |
| Pagination | 90-114 |
Work Package:
WP1
