Biblio
Filters: Author is Seshia, S. [Clear All Filters]
Compositional controller synthesis for vehicular traffic networks. Proceedings of the 54th IEEE Conference on Decision and Control. :6165-6171.
.
2015.
Directed specifications and assumption mining for monotone dynamical systems. 19th ACM International Conference on Hybrid Systems: Computation and Control. :21-30.
.
2016.