Form Closure for Fully Actuated and Robust Obstacle-Aided Locomotion in Snake Robots | IEEE Journals & Magazine | IEEE Xplore