Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
Browse the full CAV paper archive.