2017 Semantics of Strategy Logic formal-methods game-theory model-checking strategic-reasoning temporal-logic Paper page PDF Year2017AuthorsPatrick GardyVenuePhD thesis, Universite Paris-SaclayKeywordsModel checking, Game theory, Formal methodsVérification formelle, Theorie des jeux, Méthodes formelles