Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. SIAM J. Control and Optimization, 55(4):2333-2367, 2017. [doi]
Abstract is missing.