%0 Journal Article %1 journals/corr/abs-2309-13499 %A Liu, Siyuan %A Saoud, Adnane %A Dimarogonas, Dimos V. %D 2023 %J CoRR %K dblp %T Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. %U http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-13499 %V abs/2309.13499

@article{journals/corr/abs-2309-13499, added-at = {2023-09-27T00:00:00.000+0200}, author = {Liu, Siyuan and Saoud, Adnane and Dimarogonas, Dimos V.}, biburl = {https://www.bibsonomy.org/bibtex/2efdf4bb0b64d8275ea36c0062d17c42f/dblp}, ee = {https://doi.org/10.48550/arXiv.2309.13499}, interhash = {041a50914d44621f785decb29dc04d0b}, intrahash = {efdf4bb0b64d8275ea36c0062d17c42f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:45:10.000+0200}, title = {Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-13499}, volume = {abs/2309.13499}, year = 2023 }