Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution).

Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Krner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski

Browse the full TACAS paper archive.