Arnaud Da Costa Lopes

ATL with Strategy Contexts and Bounded Memory

Nicolas Markey, Thomas Brihaye, François Laroussinie, 2009, LFCS.

ATL with Strategy Contexts: Expressiveness and Model Checking

Nicolas Markey, François Laroussinie, Arnaud Da Costa Lopes, 2010, FSTTCS.

Propriétés de jeux multi-agents. (Multi-agent games properties)

Arnaud Da Costa Lopes, 2011 .

Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)

Nicolas Markey, François Laroussinie, Arnaud Da Costa Lopes, 2012, CONCUR.

Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)

Arnaud Da Costa Lopes, F. Laroussinie, N. Markey, 2012, CONCUR.