TY - RPRT TI - Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications AU - Alvaro Caballero AU - Giuseppe Silano PY - 2023 UR - https://arxiv.org/abs/2309.10406 ID - 2309.10406 ER -