TY  - RPRT
TI  - Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
AU  - Xiaoguang Han
AU  - Kuize Zhang
AU  - Zhiwu Li
PY  - 2024
UR  - https://arxiv.org/abs/2401.10363
ID  - 2401.10363
ER  -