VFH/sup */: local obstacle avoidance with look-ahead verification | IEEE Conference Publication | IEEE Xplore