TY  - RPRT
TI  - Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
AU  - Radu Calinescu
AU  - Calum Imrie
AU  - Ravi Mangal
AU  - Genaína Nunes Rodrigues
AU  - Corina Păsăreanu
AU  - Misael Alpizar Santana
AU  - Gricel Vázquez
PY  - 2023
UR  - https://arxiv.org/abs/2202.03360
ID  - 2202.03360
ER  -