Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune. Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discrete Event Dynamic Systems, 27(1):1-44, 2017. [doi]
Abstract is missing.