@misc{indiciaeb7c03e76956a,
  title = {Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts},
  author = {Siyuan Liu and Adnane Saoud and Dimos V. Dimarogonas},
  year = {2025},
  doi = {10.1109/tac.2025.3549288},
  url = {https://arxiv.org/abs/2309.13499},
  note = {Source identifier: 2309.13499}
}