Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 227-243, Springer, 2016. [doi]
Abstract is missing.