TY - RPRT TI - Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams AU - Disha Kamale AU - Cristian-Ioan Vasile PY - 2024 UR - https://arxiv.org/abs/2406.01848 ID - 2406.01848 ER -