Efficient probabilistic collision detection for non-convex shapes | IEEE Conference Publication | IEEE Xplore