TY  - RPRT
TI  - Verification of general Markov decision processes by approximate similarity relations and policy refinement
AU  - S. Haesaert
AU  - S. Esmaeil Zadeh Soudjani
AU  - A. Abate
PY  - 2016
UR  - https://arxiv.org/abs/1605.09557
ID  - 1605.09557
ER  -