Logique, automates, algèbre et jeux
Mercredi 22 mai 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 7/7: Lower bounds for Random-Facet and Random-Edge
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 15 mai 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 6/7: Lower bounds for Policy Iteration
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 17 avril 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 5/7: Parity Games
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 10 avril 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 4/7: Acyclic Unique Sink Orientations (AUSOs)
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 3 avril 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 3/7: Randomized sub-exponential time algorithm
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 27 mars 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 2/7: Mean Payoff games and Energy Games
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf
Logique, automates, algèbre et jeux
Mercredi 20 mars 2019, 14 heures 15, 3052
Uri Zwick (Blavatnik School of Computer Science) Games on Graphs and Linear Programming Abstractions, Part 1/7: Two-player Turn-based Stochastic Games
https://www.irif.fr/_media/actualites/ressources/zwick_program.pdf