Résumé de séminaire

Résumé :

À partir de quelques exemples simples de jeux connus (Nim, dilemme du prisonnier, pierre-ciseaux-papier, ...) nous présenterons les définitions et les résultats fondamentaux de la théorie des jeux.

On se demandera en particulier sous quelle forme exprimer les stratégies, et si un joueur a une stratégie gagnante "à coup sûr" (propriété de détermination).

On observera pour chaque jeux s'il est : à tour de rôle, à information complète, sans hasard, à somme nulle, etc.

On exposera les applications récentes à la vérification de systèmes réactifs et à la synthèse de contrôleur, pour lesquelles il reste des problèmes algorithmiques ouverts importants.

Références :

Home page : http://www.lsv.ens-cachan.fr/~cachat/