TY - RPRT TI - A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications AU - Giuseppe Silano AU - Davide Liuzza AU - Luigi Iannelli AU - Martin Saska PY - 2021 UR - https://arxiv.org/abs/2103.02999 ID - 2103.02999 ER -