An efficiently solvable quadratic program for stabilizing dynamic locomotion | IEEE Conference Publication | IEEE Xplore