| Title | Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Murthy, A., , Smolka S. A., and Grosu R. |
| Journal | Nonlinear Analysis: Hybrid Systems |
| Date Published | 05/2016 |
