Combining global and local planning with guarantees on completeness | IEEE Conference Publication | IEEE Xplore