Sampling-based temporal logic path planning.
Cristian Ioan VasileCalin BeltaPublished in: IROS (2013)
Keyphrases
- path planning
- temporal logic
- motion planning
- model checking
- mobile robot
- path planning algorithm
- modal logic
- collision avoidance
- obstacle avoidance
- dynamic environments
- multi robot
- optimal path
- concurrent systems
- dynamic and uncertain environments
- path finding
- belief revision
- degrees of freedom
- potential field
- robot path planning
- mazurkiewicz traces
- belief space
- autonomous vehicles
- multiple robots
- reactive systems
- verification method
- computation tree logic
- collision free
- path planner
- aerial vehicles
- search and rescue
- temporally extended
- markov decision processes