Manfred Jaeger, Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Peter Gjøl Jensen. Approximating Euclidean by Imprecise Markov Decision Processes. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Volume 12476 of Lecture Notes in Computer Science, pages 275-289, Springer, 2020. [doi]
Abstract is missing.