Xu Guo, Zongyuan Yang. Continuous simulation abstraction refinement for Markov decision processes. In 4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017. pages 779-784, IEEE, 2017. [doi]
Abstract is missing.