Automatic Optimal Biped Walking As a Mixed-Integer Quadratic Program | AMiner