@phdthesis{lopes:tel-00744970, TITLE = {{Propri{\'e}t{\'e}s de jeux multi-agents}}, AUTHOR = {Lopes, Arnaud da Costa da Costa Lopes}, URL = {https://theses.hal.science/tel-00744970}, NUMBER = {2011DENS0034}, SCHOOL = {{{\'E}cole normale sup{\'e}rieure de Cachan - ENS Cachan}}, YEAR = {2011}, MONTH = Sep, KEYWORDS = {Model-checking ; V{\'e}rification formelle ; Logique temporelle}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00744970/file/DaCostaLopes2011.pdf}, HAL_ID = {tel-00744970}, HAL_VERSION = {v1}, }