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