Automatic verification of contact states taking into account manipulator constraints | IEEE Conference Publication | IEEE Xplore