Predator Hunting Party (Competition Contribution).

Petr Mller, Petr Peringer, Toms Vojnar

Browse the full TACAS paper archive.