Contact-Implicit Trajectory Optimization Using an Analytically Solvable Contact Model for Locomotion on Variable Ground | IEEE Journals & Magazine | IEEE Xplore