Login / Signup
A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks With Multi-Robot Aerial Systems.
Alvaro Caballero
Giuseppe Silano
Published in:
IEEE Access (2023)
Keyphrases
</>
temporal logic
multi robot
model checking
motion planning
dynamic constraints
multiple robots
mobile robot
path planning
multi robot systems
modal logic
search and rescue
reactive systems
computer vision
distributed systems
temporally extended
uncertain environments
real robot
multi agent
knowledge base