Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

Radu Calinescu, Calum Imrie, Ravi Mangal +4

We present DeepDECS, a new method for the synthesis of correct-by-construction discrete-event controllers for autonomous systems that use deep neural network (DNN) classifiers for…