Wenliang Liu, Kevin Leahy 0001, Zachary Serlin, Calin Belta. Robust Multi-Agent Coordination from CaTL+ Specifications. In American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023. pages 3529-3534, IEEE, 2023. [doi]
@inproceedings{Liu0SB23-0, title = {Robust Multi-Agent Coordination from CaTL+ Specifications}, author = {Wenliang Liu and Kevin Leahy 0001 and Zachary Serlin and Calin Belta}, year = {2023}, doi = {10.23919/ACC55779.2023.10156237}, url = {https://doi.org/10.23919/ACC55779.2023.10156237}, researchr = {https://researchr.org/publication/Liu0SB23-0}, cites = {0}, citedby = {0}, pages = {3529-3534}, booktitle = {American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023}, publisher = {IEEE}, isbn = {979-8-3503-2806-6}, }