Arnaud Da Costa Lopes

According to our database, Arnaud Da Costa Lopes authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

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

Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

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

Arnaud Da Costa Lopes

PhD thesis, 2011

2010

ATL with Strategy Contexts: Expressiveness and Model Checking.

Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

ATL with Strategy Contexts and Bounded Memory.

Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009