@misc{indiciaec357bfdb2282,
  title = {Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications},
  author = {Yating Yuan and Yu Liu},
  year = {2026},
  url = {https://arxiv.org/abs/2505.07240},
  note = {Source identifier: 2505.07240}
}