S. Haesaert, A. Abate and P.M.J. Van den Hof (2015). Verification of general Markov decision processes: policy refinement via approximate similarity relations. Submitted for presentation at 22nd Intern. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16), 4-8 April 2016, EIndhoven, The Netherlands.