Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.

Yong Li, Soumyajit Paul, Sven Schewe, and Qiyi Tang.

Proceedings of the 37th International Conference on Computer Aided Verification (CAV 2025), 2025.