Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis

Open in new window