Arnaud Da Costa Lopes

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Automated Verification

Extended Abstract

Temporal Properties

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). CONCUR (2012)
Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
ATL with Strategy Contexts: Expressiveness and Model Checking. FSTTCS (2010)
Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
ATL with Strategy Contexts and Bounded Memory. LFCS (2009)