Controlling a network of signalized intersections from temporal logical specifications


Coogan S., AYDIN GÖL E. , Arcak M., Belta C.

2015 American Control Conference (ACC), Chicago, IL, USA, 1 - 03 Temmuz 2015 identifier identifier