SMC: Satisfiability Modulo Convex Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. SMC: Satisfiability Modulo Convex Optimization. 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 19-28, ACM, 2017. [doi]

This author has not been identified. Look up 'Yasser Shoukry' in GoogleThis author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'George J. Pappas' in GoogleThis author has not been identified. Look up 'Paulo Tabuada' in Google

runs on WebDSL