Finite state abstraction and formal methods for traffic flow networks
| Title | Finite state abstraction and formal methods for traffic flow networks |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Coogan, S., Arcak, M., Belta, C. |
| Conference Name | Proceedings of the 2016 American Control Conference |
| Date Published | July |
| Conference Location | Boston, Massachusetts |
| Keywords | 1446145 |
| Citation Key | CooArcBel16 |