Program synthesis for generalized planning. Segovia-Aguas, J. TDX (Tesis Doctorals en Xarxa), Universitat Pompeu Fabra, 10, 2018.
Program synthesis for generalized planning [pdf]Paper  Program synthesis for generalized planning [link]Website  bibtex   

Downloads: 0