Return to Article Details Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis Download Download PDF