Proving path non-existence using sampling and alpha shapes | IEEE Conference Publication | IEEE Xplore