@misc{indiciae93d0819f057b,
  title = {A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications},
  author = {Giuseppe Silano and Davide Liuzza and Luigi Iannelli and Martin Saska},
  year = {2021},
  url = {https://arxiv.org/abs/2103.02999},
  note = {Source identifier: 2103.02999}
}