Optimal Modulation of Joint Stiffness with Guaranteed Stability for Quadruped Robots | IEEE Conference Publication | IEEE Xplore