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 Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II, volume 15932 of Lecture Notes in Computer Science, pages 276-298, 2025. DOI BIB