Experimentally Verified Optimal Serpentine Gait and Hyperredundancy of a Rigid-Link Snake Robot | IEEE Journals & Magazine | IEEE Xplore