Efficient collision checking in sampling-based motion planning via safety certificates. (June 2016)