Articles with public access mandates - Abhishek MurthyLearn more
Not available anywhere: 1
Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability
A Murthy, MA Islam, SA Smolka, R Grosu
Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017
Mandates: US National Science Foundation, US Department of Defense
Available somewhere: 1
A simplex architecture for hybrid systems using barrier certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program