TY - RPRT TI - Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications AU - Joe Eappen AU - Zikang Xiong AU - Dipam Patel AU - Aniket Bera AU - Suresh Jagannathan PY - 2025 UR - https://arxiv.org/abs/2501.05639 ID - 2501.05639 ER -