Visible to the public Biblio

Filters: Author is Seshia, Sanjit A.  [Clear All Filters]
2018-05-17
Kim, Eric S., Arcak, Murat, Seshia, Sanjit A..  2017.  A Small Gain Theorem for Parametric Assume-Guarantee Contracts. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. :207–216.
2018-05-16
Lee, Edward A., Seshia, Sanjit A..  2017.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach.