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 July 2015, (Full Text)

• Publication Type: Conference Paper / Full Text
• Doi Number: 10.1109/acc.2015.7171941
• City: Chicago, IL, USA
• Middle East Technical University Affiliated: Yes