Giuseppe Silano, Tomás Báca, Robert Penicka, Davide Liuzza, Martin Saska. Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications. IEEE Robotics and Automation Letters, 6(2):4169-4176, 2021. [doi]
Abstract is missing.