More information here http://www.mincyt.gob.ar/noticias/se-conocieron-los-ganadores-de-los-premios-houssay-houssay-trayectoria-y-jorge-sabato-2014-11052
"Towards Fully Observable Non-deterministic Planning as Assumption-based Automatic Synthesis", presented by Nicolas D'Ippolito in IJCAI 2015