Login / Signup
Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications.
Giuseppe Silano
Tomás Báca
Robert Penicka
Davide Liuzza
Martin Saska
Published in:
IEEE Robotics Autom. Lett. (2021)
Keyphrases
</>
temporal logic
power line
reactive systems
model checking
concurrent systems
model checker
dynamic constraints
signal processing
formal specification language
formal methods
linear temporal logic
transition systems
formal specification
bounded model checking
mobile robot
satisfiability problem
modal logic
image processing
finite state machines
verification method
real time
service robots
knowledge based systems
distributed systems