Scalable lazy SMT-based motion planning.
Yasser ShoukryPierluigi NuzzoIndranil SahaAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaGeorge J. PappasPaulo TabuadaPublished in: CDC (2016)
Keyphrases
- motion planning
- degrees of freedom
- mobile robot
- trajectory planning
- robot arm
- path planning
- humanoid robot
- robotic tasks
- inverse kinematics
- multi robot
- belief space
- autonomous mobile robot
- obstacle avoidance
- mechanical systems
- configuration space
- robotic arm
- statistical machine translation
- nearest neighbor searching
- image sequences
- shortest path
- object recognition