Selected publications by Arnaud Da Costa

Conferences

• A. Da Costa, F. Laroussinie and N. Markey.  ATL with strategy contexts: Expressiveness and Model Checking.  In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 120-132. Leibniz-Zentrum für Informatik, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
• Th. Brihaye, A. Da Costa, F. Laroussinie and N. Markey.  ATL with Strategy Contexts and Bounded Memory.  In LFCS'09, LNCS 5407, pages 92-106. Springer, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )

Theses

• A. Da Costa.  Propriétés de jeux multi-agents.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, September 2011. ( PDF | BibTeX )

Other Publications

• A. Da Costa.  Propriétés de jeux multi-agents.  Rapport de Master, Master de Logique Mathématique et Fondements de l'Informatique, Paris, France, September 2007. ( PDF | BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique