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

Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang

Browse the full CAV paper archive.