Eric S. Kim, Murat Arcak, Sanjit A. Seshia. A Small Gain Theorem for Parametric Assume-Guarantee Contracts. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 207-216, ACM, 2017. [doi]
Abstract is missing.