Certified detection of parallel robot assembly mode under Type 2 singularity crossing trajectories | IEEE Conference Publication | IEEE Xplore