Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

by Dallal, Eric, Colombo, Alessandro, Del Vecchio, Domitilla, Lafortune, Stephane
Published 2015

Supervisory control for collision avoidance in vehicular networks with imperfect measurements

by Dallal, Eric, Colombo, Alessandro, Del Vecchio, Domitilla, Lafortune, Stephane
Published 2018

Syntax-Guided Synthesis

by Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek
Published 2021