Details for the publication LiPST25.

Yong Li, Soumyajit Paul, Sven Schewe (), Qiyi Tang: Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. In CAV 2025, Lecture notes in Computer Science, 2025. URL