Visible to the public Biblio

Filters: Author is Scott A. Smolka  [Clear All Filters]
2018-05-27
Junxing Yang, Md. Ariful Islam, Radu Grosu, Scott A. Smolka, Scott Stoller.  2017.  A Simplex Architecture for Hybrid Systems using Barrier Certificates. International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). :117–131.
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachability. International Conference on Computer Aided Verification (CAV 2017). :379–400.
2018-05-11
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin.  2017.  Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.