This page contains all relevant information about “Situation Calculus Temporally Lifted Abstractions for Program Synthesis,” by Giuseppe De Giacomo, Yves Lespérance and Matteo Mancanelli.

Links

Here you can find some useful links:

Contacts

Giuseppe De Giacomo
University of Oxford, Oxford, UK
Email: giuseppe.degiacomo [at] cs.ox.ac.uk
Yves Lespérance
York University, Toronto, ON, Canada
Email: lesperan [at] eecs.yorku.ca
Matteo Mancanelli
Sapienza University, Rome, Italy
Email: mancanelli [at] diag.uniroma1.it