E.  Todorov, ?Convex and analytically-invertible dynamics with contacts and constraints: Theory and implementation in MuJoCo?, in IEEE Conference on Robotics and Automation (ICRA), 2014.