Outils pour utilisateurs
if-gsc
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| if-gsc [2020/10/07 13:44] – vpenelle | if-gsc [2020/11/24 14:51] (Version actuelle) – vpenelle | ||
|---|---|---|---|
| Ligne 7: | Ligne 7: | ||
| ===Partie 1 (Anca Muscholl): | ===Partie 1 (Anca Muscholl): | ||
| - | Todo | + | 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, |
| ===Partie 2 (Nathanaël Fijalkow): | ===Partie 2 (Nathanaël Fijalkow): | ||
if-gsc.1602078273.txt.gz · Dernière modification : 2020/10/07 13:44 de vpenelle
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
