TY  - RPRT
TI  - Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
AU  - Siyuan Liu
AU  - Adnane Saoud
AU  - Pushpak Jagtap
AU  - Dimos V. Dimarogonas
AU  - Majid Zamani
PY  - 2022
DO  - 10.1109/cdc51059.2022.9992715
UR  - https://arxiv.org/abs/2203.10041
ID  - 2203.10041
ER  -