TY  - RPRT
TI  - Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications
AU  - Yifan Xie
AU  - Xiang Yin
AU  - Shaoyuan Li
PY  - 2021
UR  - https://arxiv.org/abs/2102.01402
ID  - 2102.01402
ER  -