A mixed-integer convex optimization framework for robust multilegged robot locomotion planning over challenging terrain | IEEE Conference Publication | IEEE Xplore