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