@misc{indiciae543b78be4a01,
  title = {Existential Opacity for Discrete-Event Systems with State Observations},
  author = {Zhiyuan Huang and Zhao Tong and Jiakai Li and Bingzhuo Zhong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.02132},
  note = {Source identifier: 2609.02132}
}