ATL with Strategy Contexts and Bounded Memory.

Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey

Browse the full LFCS paper archive.