Benchmarking Different QP Formulations and Solvers for Dynamic Quadrupedal Walking | IEEE Conference Publication | IEEE Xplore