Giuseppe Silano, Alvaro Caballero, Davide Liuzza, Luigi Iannelli, Stjepan Bogdan, Martin Saska. A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study. Robotics and Autonomous Systems, 186:104905, 2025. [doi]
Abstract is missing.