Arnd Hartmanns, Robert Modderman. DTMC Model Checking by Path Abstraction Revisited. In Pierre Ganty, Alessio Mansutti, editors, Reachability Problems - 19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings. Volume 16230 of Lecture Notes in Computer Science, pages 186-201, Springer, 2025. [doi]
Abstract is missing.