Infinite- and <i>K</i>-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations

CHU Qian, ZHANG Jiahui, HAN Xiaoguang, LI Zhiwu, CHEN Zengqiang

Journal of Systems Science & Complexity . 2023, (5): 1830 -1850 . DOI: 10.1007/s11424-023-2114-z