Reactive Synthesis Of Action Planners