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 journalArticle

Original languageEnglish
Pages (from-to)272--286
JournalDefault journal
StatePublished - 2017

Fingerprint Dive into the research topics of 'Computing compositional proofs of input-to-output stability using SOS optimization and $\delta$-decidability'. Together they form a unique fingerprint.

  • Cite this