Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
Crossref DOI link: https://doi.org/10.1007/s11424-023-2114-z
Published Online: 2023-10-19
Published Print: 2023-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chu, Qian
Zhang, Jiahui
Han, Xiaoguang
Li, Zhiwu
Chen, Zengqiang
Text and Data Mining valid from 2023-10-01
Version of Record valid from 2023-10-01
Article History
Received: 2 March 2022
Revised: 1 July 2022
First Online: 19 October 2023
Conflict of Interest
: The authors declare no conflict of interest.