A GOAL-DIRECTED REACTIVE OBSTACLE AVOIDANCE STRATEGY WITH GLOBAL PROOFS | Publicación