Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts

Author(s)
Ghasemi, Kasra; Sadraddini, Sadra; Belta, Calin
Thumbnail
Download3365365.3382212.pdf (1.948Mb)
Publisher Policy
Terms of use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Metadata
Show full item record
Date issued
2020-04-22
URI
https://hdl.handle.net/1721.1/146248
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Publisher
ACM|23rd ACM International Conference on Hybrid Systems: Computation and Control
Citation
Ghasemi, Kasra, Sadraddini, Sadra and Belta, Calin. 2020. "Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts."
Version: Final published version
ISBN
978-1-4503-7018-9
Collections