VFH/sup */: local obstacle avoidance with look-ahead verification | Synapse