Provably-correct stochastic motion planning with safety constraints.
Chanyeol YooRobert FitchSalah SukkariehPublished in: ICRA (2013)
Keyphrases
- motion planning
- provably correct
- degrees of freedom
- robot arm
- path planning
- mobile robot
- trajectory planning
- humanoid robot
- interval arithmetic
- robotic arm
- obstacle avoidance
- robotic tasks
- mechanical systems
- formal methods
- inverse kinematics
- situation calculus
- configuration space
- belief space
- manipulation tasks
- autonomous mobile robot
- climbing robot
- multi robot
- constraint satisfaction
- dynamic environments
- multi modal