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

Open in new window