Sound statistical model checking for {MDP} using partial order and confluence reduction
| Title | Sound statistical model checking for {MDP} using partial order and confluence reduction |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Hartmanns, A, Timmer, M |
| Journal | {STTT} |
| Volume | 17 |
| Pagination | 429–456 |
| URL | http://dx.doi.org/10.1007/s10009-014-0349-7 |
| DOI | 10.1007/s10009-014-0349-7 |
Work Package:
WP1
