TY  - RPRT
TI  - Robust Multi-Agent Coordination from CaTL+ Specifications
AU  - Wenliang Liu
AU  - Kevin Leahy
AU  - Zachary Serlin
AU  - Calin Belta
PY  - 2023
UR  - https://arxiv.org/abs/2210.01732
ID  - 2210.01732
ER  -