Smart sampling for lightweight verification of Markov decision processes
| Title | Smart sampling for lightweight verification of Markov decision processes |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | D'Argenio, PR, Legay, A, Sedwards, S, Traonouez, L-M |
| Journal | {STTT} |
| Volume | 17 |
| Pagination | 469–484 |
| URL | http://dx.doi.org/10.1007/s10009-015-0383-0 |
| DOI | 10.1007/s10009-015-0383-0 |
Work Package:
WP1
