Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer
Browse the full CAV paper archive.