He, Leifeng, and Guanjun Liu. “Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams”. Computing and Informatics 40, no. 5 (December 31, 2021): 1174–1196. Accessed November 7, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2021_5_1174.