Follow
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. (arXiv:2208.01701v1 [eess.SY]) http://arxiv.org/abs/2208.01701
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. (arXiv:2208.01701v1 [eess.SY]) http://arxiv.org/abs/2208.01701