Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts
Name
3365365.3382212.pdf
Size
1.95 MB
Format
Adobe PDF
Checksum (MD5)
7e977ecda5a644a6b2e0698a6dc47b96
Author(s)
Ghasemi, Kasra
Sadraddini, Sadra
Belta, Calin
Date Issued
April 22, 2020
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3365365.3382212
