Online verification of K -step opacity by Petri nets in centralized and decentralized structures
Research article (Automatica, 2022) · cited 12× · AI/ML