Rabin Games and Colourful Universal Trees.

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini

Browse the full TACAS paper archive.