@misc{indiciae406d115a127a,
  title = {Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts},
  author = {Siyuan Liu and Adnane Saoud and Pushpak Jagtap and Dimos V. Dimarogonas and Majid Zamani},
  year = {2022},
  doi = {10.1109/cdc51059.2022.9992715},
  url = {https://arxiv.org/abs/2203.10041},
  note = {Source identifier: 2203.10041}
}