TY  - RPRT
TI  - Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications
AU  - Giuseppe Silano
AU  - Tomas Baca
AU  - Robert Penicka
AU  - Davide Liuzza
AU  - Martin Saska
PY  - 2023
DO  - 10.1109/lra.2021.3068114
UR  - https://arxiv.org/abs/2302.04691
ID  - 2302.04691
ER  -