Nathanaël Fijalkow
IdRefMots clés
FR |
EN
Théorie des jeux
Jeux stochastiques simples
Théorie algorithmique des jeux
Jeux stochastiques
Amélioration de stratégie
Apprentissage
Acquisition de contraintes
Inférence de contrats
Compréhension de code
Synthèse de code
Rétro-ingénierie (informatique)
Contraintes (intelligence artificielle)
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Jeux à durée infinie
Jeux de parité
Jeux à paiement moyen
Positionalité
Algorithmes quasipolynomiaux
Algorithmes