@misc{indiciaeafbde7d48688,
  title = {A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study},
  author = {Giuseppe Silano and Alvaro Caballero and Davide Liuzza and Luigi Iannelli and Stjepan Bogdan and Martin Saska},
  year = {2025},
  doi = {10.1016/j.robot.2024.104905},
  url = {https://arxiv.org/abs/2409.12713},
  note = {Source identifier: 2409.12713}
}