Murthy, A., Islam, M. A., Smolka, S. A., & Grosu, R. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)
Md. Islam
First name
Md.
Middle name
A.
Last name
Islam