Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski
Browse the full CAV paper archive.