A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems.
Alvaro CaballeroGiuseppe SilanoPublished in: CoRR (2022)
Keyphrases
- temporal logic
- multi robot
- motion planning
- model checking
- reactive systems
- mobile robot
- path planning
- image sequences
- multi robot systems
- multiple robots
- modal logic
- coalitional game theory
- distributed systems
- verification method
- robotic systems
- robot soccer
- motion model
- knowledge base
- temporally extended
- linear temporal logic
- multi robot exploration