Walking in Mud: Modeling, Control, and Experiments of Quadruped Locomotion | IEEE Journals & Magazine | IEEE Xplore