Run Forester, Run Backwards! - (Competition Contribution).

Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar

Browse the full TACAS paper archive.