2015 IJCAI IJCAI 2015

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