Sampling-based path planning under temporal logic constraints with real-time adaptation.
Yizhou ChenRuoyu WangXinyi WangBen M. ChenPublished in: ICRA (2023)
Keyphrases
- path planning
- temporal logic
- real time
- motion planning
- model checking
- mobile robot
- aerial vehicles
- autonomous vehicles
- dynamic constraints
- automata theoretic
- dynamic environments
- collision avoidance
- obstacle avoidance
- path planning algorithm
- modal logic
- multi robot
- optimal path
- linear temporal logic
- indoor environments
- verification method
- multiple robots
- dead ends
- robot path planning
- potential field
- path planner
- dynamic and uncertain environments
- belief revision
- trajectory planning
- path finding
- configuration space
- autonomous navigation
- transition systems
- degrees of freedom
- computation tree logic
- vision system
- real time systems
- mazurkiewicz traces
- reactive systems
- temporally extended
- temporal reasoning
- robotic systems
- search algorithm