Christel Baier, Calvin Chau, Sascha Klüppelholz. Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes. In Jane Hillston, Sadegh Soudjani, Masaki Waga, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Volume 14996 of Lecture Notes in Computer Science, pages 1-18, Springer, 2024. [doi]
Abstract is missing.