Visible to the public Biblio

Filters: Author is Belta, C.  [Clear All Filters]
2018-05-17
Coogan, S., Aydin Gol, E., Arcak, M., Belta, C..  2015.  Controlling a network of signalized intersections from temporal logic specifications. Proceedings of the 2015 American Control Conference. :3919-3924.
Coogan, S., Arcak, M., Belta, C..  2016.  Finite state abstraction and formal methods for traffic flow networks. Proceedings of the 2016 American Control Conference. :864-879.