TY  - RPRT
TI  - Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems
AU  - Renyuan Zhang
AU  - Jiahao Wang
AU  - Zenghui Wang
AU  - Kai Cai
PY  - 2023
UR  - https://arxiv.org/abs/2108.00721
ID  - 2108.00721
ER  -