Posts
Sections
Linear Logic (M2)
Domains, Categories, Games (M2)
Algebraic Topology & Concurrency (M2)
Topological Data Analysis (M2)
Biochemical Programming (M2)
Categories Work (M2)
Homological Algebra (M2)
Théorie des modèles (M2)
Foundations of proof systems (M2)
Proof assistants (M2)
Functional Programming (M2)
Game Theory in CS (M2)
Preuves et programmes (M1)
Homotopy Type Theory (M1)
Neuromodeling (M1)
Computational neuroscience (M1)
Neuro-robotique (M1)
Machine Learning for Neuroscience (M1)
Preuve assistée par ordinateur (M1)
Topologie algébrique (M1)
Tree Automata (M1)
Advanced Complexity (M1)
Categories and Lambda-calculi (M1)
Modules et groupes (M1)
Statistical Learning (M1)
Computer Vision (M1)
Robot Motion Planning (M1)
Neuroanatomie (M1)
Initiation to Research (M1)
Logique (L3)
Langages formels (L3)
Maths discrètes (L3)
Lambda-calcul (L3)
Calculabilité & Complexité (L3)
Programmation (L3)
Algorithmique (L3)
Algèbre (L3)
Architecture et Système (L3)
Exercices
Club Algo
Anglais (L3/M1)
Prépa (MP*)
Conférences
Tags
Toggle menu
Home
/
Game Theory techniques in Computer Science (M2 MPRI)
Game Theory techniques in Computer Science (M2 MPRI)
Lecture 1: Zero-sum perfect information games, Reachability games
Teachers: Wieslaw Zielonka
Lecture 2: Büchi condition
Teachers: Wieslaw Zielonka
Lecture 3: Games on graph
Teachers: Dietmar Berwanger
Lecture 4:
Teachers: Dietmar Berwanger