He, L. and Liu, G. 2021. Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. COMPUTING AND INFORMATICS. 40, 5 (Dec. 2021), 1174–1196. DOI:https://doi.org/10.31577/cai_2021_5_1174.