Master Informatique - Université de Bordeaux

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

==== Game Synthesis & Control ====

Responsables : [[https://labri.fr/perso/anca | Anca Muscholl]] et [[https://nathanael-fijalkow.github.io/ | Nathanaël Fijalkow]]

Ce cours du S9 est obligatoire pour VL et en option pour AM. Il vaut 6ECTS.

===Partie 1 (Anca Muscholl):===

Le cours est une introduction à la théorie des jeux pour la vérification et la synthèse de systèmes. On y aborde différents types de jeux : jeux à deux joueurs sur les graphes finis, jeux distribués, synthèse de contrôleurs.

===Partie 2 (Nathanaël Fijalkow):===

Nous présentons différents aspects de l'apprentissage (machine learning en anglais). 
D'abord nous introduisons les notions importantes pour quantifier et formaliser les objectifs d'apprentissage supervisés : PAC (algorithmes probablement approximativement corrects), dimension VC, et complexité de Rademacher. 
Dans une deuxième partie nous étudions les fondements théoriques de l'apprentissage par récompense (reinforcement learning), autrement dit apprendre dans une situation de jeux. L'objectif est de présenter les idées derrière l'algorithme d'AlphaGo, le premier qui dépasse les humains au jeu de Go (2016).

Master Informatique - Université de Bordeaux

Outils pour utilisateurs

Outils du site

Outils de la page