Login / Signup
A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications.
Giuseppe Silano
Davide Liuzza
Luigi Iannelli
Martin Saska
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
power line
multi robot systems
model checking
concurrent systems
reactive systems
bounded model checking
signal processing
model checker
transition systems
modal logic
formal verification