Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz. Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes. In Domenico Bianculli, Elena Gómez-Martínez, editors, Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Volume 16192 of Lecture Notes in Computer Science, pages 129-147, Springer, 2025. [doi]
Abstract is missing.