TY  - RPRT
TI  - Scalable Verification of Markov Decision Processes
AU  - Axel Legay
AU  - Sean Sedwards
AU  - Louis-Marie Traonouez
PY  - 2014
UR  - https://arxiv.org/abs/1310.3609
ID  - 1310.3609
ER  -