@inbook{Li_2025,
    title = {Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata},
    isbn = {9783031986796},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-98679-6_13},
    doi = {10.1007/978-3-031-98679-6_13},
    booktitle = {Computer Aided Verification},
    publisher = {Springer Nature Switzerland},
    author = {Li, Yong and Paul, Soumyajit and Schewe, Sven and Tang, Qiyi},
    year = {2025},
    pages = {276–298},
    date-added = {2025-11-26 20:28:54 +0100}
}

@inbook{Li_2025, title = {Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata}, isbn = {9783031986796}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-98679-6_13}, doi = {10.1007/978-3-031-98679-6_13}, booktitle = {Computer Aided Verification}, publisher = {Springer Nature Switzerland}, author = {Li, Yong and Paul, Soumyajit and Schewe, Sven and Tang, Qiyi}, year = {2025}, pages = {276–298}, date-added = {2025-11-26 20:28:54 +0100} }