Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic.
James McMahonErion PlakuPublished in: IROS (2014)
Keyphrases
- motion planning
- temporal logic
- tree search
- model checking
- path planning
- search algorithm
- branch and bound
- degrees of freedom
- mobile robot
- constraint propagation
- path finding
- humanoid robot
- search tree
- mathematical programming
- multi robot
- verification method
- game tree
- belief space
- linear temporal logic
- constraint programming
- dynamical systems
- search space
- computer vision
- state space