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