TY  - RPRT
TI  - Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms
AU  - Weilin Deng
AU  - Daowen Qiu
AU  - Jingkai Yang
PY  - 2023
UR  - https://arxiv.org/abs/2307.03870
ID  - 2307.03870
ER  -