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

Sebastian Sardia, Nicols D'Ippolito

Browse the full IJCAI paper archive.