TY  - RPRT
TI  - Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
AU  - Yifan Xie
AU  - Xiang Yin
AU  - Shaoyuan Li
PY  - 2021
UR  - https://arxiv.org/abs/2010.10149
ID  - 2010.10149
ER  -