TY  - RPRT
TI  - Smart Sampling for Lightweight Verification of Markov Decision Processes
AU  - Pedro D'Argenio
AU  - Axel Legay
AU  - Sean Sedwards
AU  - Louis-Marie Traonouez
PY  - 2015
DO  - 10.1007/s10009-015-0383-0
UR  - https://arxiv.org/abs/1409.2116
ID  - 1409.2116
ER  -