@misc{indiciae631fc388542a,
  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 = {2023},
  url = {https://arxiv.org/abs/2202.03360},
  note = {Source identifier: 2202.03360}
}