@misc{indiciaeb1c04c8dad2d,
  title = {Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems},
  author = {Renyuan Zhang and Jiahao Wang and Zenghui Wang and Kai Cai},
  year = {2023},
  url = {https://arxiv.org/abs/2108.00721},
  note = {Source identifier: 2108.00721}
}