Arnaud Da Costa Lopes
According to our database1, Arnaud Da Costa Lopes authored at least 4 papers between 2009 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Propriétés de jeux multi-agents. (Multi-agent games properties).
PhD thesis, 2011
ATL with Strategy Contexts: Expressiveness and Model Checking.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
ATL with Strategy Contexts and Bounded Memory.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009