TY  - RPRT
TI  - Existential Opacity for Discrete-Event Systems with State Observations
AU  - Zhiyuan Huang
AU  - Zhao Tong
AU  - Jiakai Li
AU  - Bingzhuo Zhong
PY  - 2026
UR  - https://arxiv.org/abs/2609.02132
ID  - 2609.02132
ER  -