Distributed Path Planning of Mobile Robots with LTL Specifications.
Ioana HustiuMarius KloetzerCristian MahuleaPublished in: ICSTCC (2020)
Keyphrases
- path planning
- mobile robot
- multiple robots
- obstacle avoidance
- bounded model checking
- collision avoidance
- path planning algorithm
- multi robot
- indoor environments
- motion planning
- dynamic environments
- optimal path
- autonomous vehicles
- path planner
- autonomous navigation
- path finding
- model checking
- dynamic and uncertain environments
- mobile robotics
- degrees of freedom
- potential field
- multi agent
- linear temporal logic
- transition systems
- unknown environments
- trajectory planning
- temporal logic
- unmanned aerial vehicles
- autonomous robots
- mobile agents
- aerial vehicles
- robot control