TY  - RPRT
TI  - A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study
AU  - Giuseppe Silano
AU  - Alvaro Caballero
AU  - Davide Liuzza
AU  - Luigi Iannelli
AU  - Stjepan Bogdan
AU  - Martin Saska
PY  - 2025
DO  - 10.1016/j.robot.2024.104905
UR  - https://arxiv.org/abs/2409.12713
ID  - 2409.12713
ER  -