@misc{indiciae15314c91cfc7,
  title = {Synthesis of Run-To-Completion Controllers for Discrete Event Systems},
  author = {Yehia Abd Alrahman and Victor Braberman and Nicolás D'Ippolito and Nir Piterman and Sebastián Uchitel},
  year = {2021},
  url = {https://arxiv.org/abs/2009.05554},
  note = {Source identifier: 2009.05554}
}