TY  - RPRT
TI  - Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards
AU  - Axel Legay
AU  - Sean Sedwards
AU  - Louis-Marie Traonouez
PY  - 2015
UR  - https://arxiv.org/abs/1410.5782
ID  - 1410.5782
ER  -