Verification of general Markov decision processes: policy refinement via approximate similarity relations. 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… November 11, 2016 Reports