@misc{indiciae041421b382cb,
  title = {Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications},
  author = {Giuseppe Silano and Tomas Baca and Robert Penicka and Davide Liuzza and Martin Saska},
  year = {2023},
  doi = {10.1109/lra.2021.3068114},
  url = {https://arxiv.org/abs/2302.04691},
  note = {Source identifier: 2302.04691}
}