@conference {403,
	title = {Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis},
	booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
	year = {2015},
	url = {http://ijcai.org/papers15/Abstracts/IJCAI15-451.html},
	author = {Sebastian Sardi{\~n}a and Nicol{\'a}s D{\textquoteright}Ippolito}
}