Modular Strategies for Infinite Games on Recursive Graphs.

Rajeev Alur, Salvatore La Torre, P. Madhusudan

Browse the full CAV paper archive.