Motion planning with Satisfiability Modulo Theories.
William N. N. HungXiaoyu SongJindong TanXiaojuan LiJie ZhangRui WangPeng GaoPublished in: ICRA (2014)
Keyphrases
- motion planning
- satisfiability modulo theories
- modulo theories
- degrees of freedom
- answer set programming
- mobile robot
- path planning
- trajectory planning
- humanoid robot
- sat solvers
- robotic tasks
- multi robot
- robotic arm
- boolean variables
- configuration space
- mechanical systems
- logic programs
- answer sets
- climbing robot
- viewpoint