TY  - RPRT
TI  - Using Subobservers to Synthesize Opacity-Enforcing Supervisors
AU  - Richard Hugh Moulton
AU  - Behnam Behinaein Hamgini
AU  - Zahra Abedi Khouzani
AU  - Rômulo Meira-Góes
AU  - Fei Wang
AU  - Karen Rudie
PY  - 2022
DO  - 10.1007/s10626-022-00365-5
UR  - https://arxiv.org/abs/2110.04334
ID  - 2110.04334
ER  -