Search Results for author: Gricel Vázquez

Found 1 papers, 0 papers with code

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

no code implementations7 Feb 2022 Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina Păsăreanu, Misael Alpizar Santana, Gricel Vázquez

We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.

Autonomous Driving Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.