Modular Strategies for Recursive Game Graphs.

Rajeev Alur, Salvatore La Torre, P. Madhusudan

Browse the full TACAS paper archive.