ATL with Strategy Contexts and Bounded Memory. - Thomas Brihaye; Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (LFCS, 2009)

ATL with Strategy Contexts: Expressiveness and Model Checking. - Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (FSTTCS, 2010)

Propriétés de jeux multi-agents. (Multi-agent games properties). - Arnaud Da Costa Lopes (2011)

Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). - Arnaud Da Costa Lopes; François Laroussinie; Nicolas Markey (CONCUR, 2012)