TY - RPRT TI - Multi-agent Motion Planning from Signal Temporal Logic Specifications AU - Dawei Sun AU - Jingkai Chen AU - Sayan Mitra AU - Chuchu Fan PY - 2022 UR - https://arxiv.org/abs/2201.05247 ID - 2201.05247 ER -