Algebraic verification for parameterized motion planning libraries.
Anirudha MajumdarMark M. TobenkinRuss TedrakePublished in: ACC (2012)
Keyphrases
- motion planning
- degrees of freedom
- mobile robot
- trajectory planning
- path planning
- humanoid robot
- robot arm
- autonomous mobile robot
- robotic tasks
- robotic arm
- digital libraries
- model checking
- multi robot
- mechanical systems
- manipulation tasks
- inverse kinematics
- potential field
- belief space
- obstacle avoidance
- collision free
- three dimensional
- climbing robot