Smart sampling for lightweight verification of Markov decision processes

TitleSmart sampling for lightweight verification of Markov decision processes
Publication TypeJournal Article
Year of Publication2015
AuthorsD'Argenio, PR, Legay, A, Sedwards, S, Traonouez, L-M
Journal{STTT}
Volume17
Pagination469–484
URLhttp://dx.doi.org/10.1007/s10009-015-0383-0
DOI10.1007/s10009-015-0383-0
Work Package: 
WP1