Disconnection Proofs for Motion Planning.

Julien Basch Leonidas J. Guibas David Hsu An Thai Nguyen

Published in: ICRA (2001)

Keyphrases

motion planning
degrees of freedom
mobile robot
path planning
trajectory planning
robot arm
humanoid robot
robotic tasks
mobile environments
robotic arm
multi robot
inverse kinematics
obstacle avoidance
autonomous mobile robot
mechanical systems
theorem prover
manipulation tasks
feature extraction
viewpoint