Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts.
Kasra GhasemiSadra SadraddiniCalin BeltaPublished in: CoRR (2020)
Keyphrases
- convex optimization
- program synthesis
- supply chain
- databases
- piecewise linear
- moral hazard
- bayesian networks
- convex hull
- convex relaxation
- convexity properties
- convex constraints
- risk minimization
- convex programming
- semidefinite
- convex functions
- image registration
- evolutionary algorithm
- image segmentation
- image processing
- social networks
- information retrieval
- neural network