Abstract: Controller synthesis for bipedal legged locomotion is challenging. The spring-loaded inverted pendulum (SLIP) model is an effective simplified model for planning bipedal locomotion. In this ...