A convex, smooth and invertible contact model for trajectory optimization | IEEE Conference Publication | IEEE Xplore