Compositional synthesis via a convex parameterization of assume-guarantee contracts.

Kasra Ghasemi Sadra Sadraddini Calin Belta

Published in: HSCC (2020)

Keyphrases

supply chain
convex optimization
convex hull
program synthesis
real time
convex programming
convexity properties
globally optimal
piecewise linear
image registration
texture synthesis
genetic algorithm
information retrieval
neural network
convex optimization problems
quadratic function
conformal mapping
database