Dynamic Locomotion of a Quadruped Robot with Active Spine via Model Predictive Control | IEEE Conference Publication | IEEE Xplore