Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli, Stefano Tonetta
Browse the full ICAPS paper archive.