Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler 0001, Daniel Zilken. Fixed Point Certificates for Reachability and Expected Rewards in MDPs. In Arie Gurfinkel, Marijn Heule, editors, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II. Volume 15697 of Lecture Notes in Computer Science, pages 130-151, Springer, 2025. [doi]
Abstract is missing.