Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-20-1 [2018/09/08 19:26]
zielonka [Langues du cours]
cours:c-2-20-1 [2018/09/08 19:33] (current)
zielonka [Planning prévisionnel détaillé]
Line 71: Line 71:
  
 Les séances d'une durée de trois heures.   Les séances d'une durée de trois heures.  
 +
 +  * 13/09 (Wieslaw Zielonka)  perfect information games : finite games, combinatorial games, reachability games, Buchi games
 +  * 20/09 (Wieslaw Zielonka)  multi-player games and Nash equilibria, backward induction
 +  * 27/09 (Dietmar Berwanger) vérification and synthesis, parity games
 +  * 04/10  (Dietmar Berwanger) parity games : application to automata theory, energy games
 +  * 11/10  (Dietmar Berwanger) mean-payoff games
 +  * 18/10  (Wieslaw Zielonka) simple stochastic games
 +  * 25/10 (Wieslaw Zielonka) matrix games, concurrent reachability games
 +  * 08/11 (Dietmar Berwanger) imperfect information games 
  
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA