@article{discreteeventcontrollersynthesisfor,
  title = {Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components},
  author = {Radu Calinescu and Calum Imrie and Ravi Mangal and Genaína Nunes Rodrigues and Corina Păsăreanu and Misael Alpizar Santana and Gricel Vázquez},
  year = {2022},
  eprint = {2202.03360},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2202.03360v2},
}