Geometric probability results for bounding path quality in sampling-based roadmaps after finite computation | IEEE Conference Publication | IEEE Xplore