Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming.

Yifeng Xiao, Pierluigi Nuzzo

Browse the full DATE paper archive.