Mixed Integer Programming-Based Semiautonomous Step Climbing of a Snake Robot Considering Sensing Strategy | IEEE Journals & Magazine | IEEE Xplore