Visible to the public Biblio

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