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

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/acc.2015.7171941
  • Basıldığı Şehir: Chicago, IL, USA