Minimal counterexamples for linear-time probabilistic verification
| Title | Minimal counterexamples for linear-time probabilistic verification |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Wimmer, R, Jansen, N, Ábrahám, E, Katoen, J-P, Becker, B |
| Journal | Theoretical Computer Science |
| Volume | 549 |
| Pagination | 61 - 100 |
| ISSN | 0304-3975 |
| Keywords | SAT-modulo-theories |
| URL | http://www.sciencedirect.com/science/article/pii/S030439751400454X |
| DOI | 10.1016/j.tcs.2014.06.020 |
Work Package:
WP1
