Verification of general Markov decision processes by approximate similarity relations and policy refinement - Haesaert, S; Soudjani, SE; Abate, A (SIAM Journal on Control and Optimization, 2017)