Complementarity-based dynamic simulation for kinodynamic motion planning | IEEE Conference Publication | IEEE Xplore