He L, Liu G. Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Comput. Inform. [Internet]. 2021 Dec. 31 [cited 2024 Apr. 24];40(5):1174–1196. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2021_5_1174