Le moteur de recherche
des thèses françaises
Arnaud Sangnier
IdRefMots clés
FR |
EN
Logique temporelle
Compteurs numériques
Algorithmes
Arithmétique
Jeux de congestion
Équilibres de Nash
Équilibres parfaits en sous-Jeux
Jeux decongestion paramétrés
Théorie algorithmique des jeux
Equilibre de Nash
Théorie des jeux
Vérification formelle
Systèmes à compteurs
Programmes avec pointeurs
Model-checking
Audit informatique
Vérification de modèles (informatique)
Logique
Vérification
Spécification