TY  - RPRT
TI  - Bounded Synthesis of Resilient Supervisors
AU  - Liyong Lin
AU  - Rong Su
PY  - 2021
UR  - https://arxiv.org/abs/1903.08358
ID  - 1903.08358
ER  -