reactive-motion-planning-synthesis