%0 Conference Paper %1 conf/amcc/Liu0SB23 %A Liu, Wenliang %A Leahy, Kevin %A Serlin, Zachary %A Belta, Calin %B ACC %D 2023 %I IEEE %K dblp %P 3529-3534 %T Robust Multi-Agent Coordination from CaTL+ Specifications. %U http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#Liu0SB23 %@ 979-8-3503-2806-6

@inproceedings{conf/amcc/Liu0SB23, added-at = {2023-07-11T00:00:00.000+0200}, author = {Liu, Wenliang and Leahy, Kevin and Serlin, Zachary and Belta, Calin}, biburl = {https://www.bibsonomy.org/bibtex/20084e902683ad8e60d50bb05f59960aa/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2023}, ee = {https://doi.org/10.23919/ACC55779.2023.10156237}, interhash = {d2bac879a9595ce21af6506849bf86b7}, intrahash = {0084e902683ad8e60d50bb05f59960aa}, isbn = {979-8-3503-2806-6}, keywords = {dblp}, pages = {3529-3534}, publisher = {IEEE}, timestamp = {2024-04-09T13:48:39.000+0200}, title = {Robust Multi-Agent Coordination from CaTL+ Specifications.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#Liu0SB23}, year = 2023 }