Quadratically constrained quadratic programs using approximations of the step-to-step dynamics: application on a 2D model of Digit | IEEE Conference Publication | IEEE Xplore