A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study

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]

Authors

Giuseppe Silano

This author has not been identified. Look up 'Giuseppe Silano' in Google

Alvaro Caballero

This author has not been identified. Look up 'Alvaro Caballero' in Google

Davide Liuzza

This author has not been identified. Look up 'Davide Liuzza' in Google

Luigi Iannelli

This author has not been identified. Look up 'Luigi Iannelli' in Google

Stjepan Bogdan

This author has not been identified. Look up 'Stjepan Bogdan' in Google

Martin Saska

This author has not been identified. Look up 'Martin Saska' in Google