TY  - RPRT
TI  - Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
AU  - Xiaoyan Li
AU  - Christoforos N. Hadjicostis
AU  - Zhiwu Li
PY  - 2023
UR  - https://arxiv.org/abs/2310.11825
ID  - 2310.11825
ER  -