A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems

To enhance network reliability have been developed, including active and and minimize power outages, electricity supply passive designs. Active bird diverters utilize winddriven companies invest significant resources in inspection components, while passive diverters, such as and maintenance operations [1]. Among these activities, helical objects made of plastic or aluminum, are attached the installation of bird diverters on power lines to power cables to serve as visual markers (see (see Figure 1) is essential to mitigate the risk of bird Figure 1). Additionally, alternative techniques, such as collisions [2] and improve their visibility [3]. Bird visual and auditory deterrents, have been developed mortality caused by power line collisions is a significant to mitigate bird collisions. Visual deterrents employ concern, particularly in areas with diverse bird markers or reflective materials to enhance visibility populations or during migratory seasons.