International Journal of Advanced Robotic Systems Efficient Reactive Navigation with Exact Collision Determination for 3 D Robot Shapes Regular Paper