Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis