Analytic Model for Quadruped Locomotion Task-Space Planning | IEEE Conference Publication | IEEE Xplore