DT*: Temporal Logic Path Planning in a Dynamic Environment.
Priya PurohitIndranil SahaPublished in: IROS (2021)
Keyphrases
- temporal logic
- path planning
- dynamic environments
- model checking
- mobile robot
- collision avoidance
- autonomous agents
- multi robot
- potential field
- path planning algorithm
- indoor environments
- autonomous navigation
- computation tree logic
- motion planning
- verification method
- optimal path
- obstacle avoidance
- degrees of freedom
- real environment
- dynamic and uncertain environments
- autonomous systems
- autonomous vehicles
- path finding
- search tree
- linear temporal logic
- unmanned aerial vehicles
- plan execution
- robot path planning
- aerial vehicles
- belief revision
- unknown environments
- multiple robots
- autonomous robots
- path planner
- multi agent