TY - RPRT TI - Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications AU - Yating Yuan AU - Yu Liu PY - 2026 UR - https://arxiv.org/abs/2505.07240 ID - 2505.07240 ER -