Controlling a network of signalized intersections from temporal logical specifications

---

Atıf İçin Kopyala

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

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

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