TY  - RPRT
TI  - Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements
AU  - Tiange Yang
AU  - Yuanyuan Zou
AU  - Jinfeng Liu
AU  - Shaoyuan Li
AU  - Xiaohu Zhao
PY  - 2024
UR  - https://arxiv.org/abs/2309.11477
ID  - 2309.11477
ER  -