Original language | English |
---|---|
Pages (from-to) | 272--286 |
Journal | Default journal |
State | Published - 2017 |
Computing compositional proofs of input-to-output stability using SOS optimization and $\delta$-decidability
Abhishek Murthy, Md Islam, Scott A Smolka, Radu Grosu
Research output: Contribution to journal › Article