Snake Robot Obstacle-Aided Locomotion: Modeling, Simulations, and Experiments | IEEE Journals & Magazine | IEEE Xplore