cs.RO
Giuseppe Silano Alvaro Caballero Davide Liuzza Luigi Iannelli Stjepan Bogdan Martin Saska
Task Coordination and Trajectory Optimization for Multi-Aerial Systems via Signal Temporal Logic: A Wind Turbine Inspection Study