Reactive sampling-based temporal logic path planning.
Cristian Ioan VasileCalin BeltaPublished in: ICRA (2014)
Keyphrases
- path planning
- temporal logic
- motion planning
- reactive systems
- model checking
- mobile robot
- path planning algorithm
- modal logic
- multi robot
- obstacle avoidance
- dynamic environments
- collision avoidance
- potential field
- degrees of freedom
- optimal path
- robot path planning
- verification method
- path planner
- dynamic and uncertain environments
- computation tree logic
- temporal knowledge
- path finding
- multiple robots
- bounded model checking
- autonomous vehicles
- epistemic logic
- collision free
- configuration space
- aerial vehicles
- formal specification language