Controlling a network of signalized intersections from temporal logic specifications
| Title | Controlling a network of signalized intersections from temporal logic specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Coogan, S., Aydin Gol, E., Arcak, M., Belta, C. |
| Conference Name | Proceedings of the 2015 American Control Conference |
| Date Published | July |
| Conference Location | Chicago, Illinois |
| Keywords | 1446145 |
| Citation Key | CooGolArcBel15a |