@misc{indiciae27b23af35dbf,
  title = {On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers},
  author = {Ruochen Tai and Liyong Lin and Rong Su},
  year = {2023},
  url = {https://arxiv.org/abs/2307.15972},
  note = {Source identifier: 2307.15972}
}