Sensory based motion planning with global proofs | Synapse