TY  - RPRT
TI  - Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts
AU  - Kasra Ghasemi
AU  - Sadra Sadraddini
AU  - Calin Belta
PY  - 2022
UR  - https://arxiv.org/abs/2208.01701
ID  - 2208.01701
ER  -