Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski

Browse the full TACAS paper archive.