Qian Chu, Jiahui Zhang, Xiaoguang Han, Zhiwu Li, Zengqiang Chen 0001. Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations. J. Systems Science & Complexity, 36(5):1830-1850, October 2023. [doi]
Abstract is missing.