Uppaal Stratego.

Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist

Browse the full TACAS paper archive.