Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement

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

Abstract is missing.