Tools for dynamics simulation of robots: a survey based on user feedback
A convex, smooth and invertible contact model for trajectory optimization