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