Jeux et logique (Logiques comportamentales) - Master 2, 2008
Transparents du cours
Introduction
Ramadge/Wonham
Jeux sur des graphes finis
Devoirs, examens
devoir.pdf
Liens bibliographiques
Transparents jeux
P.J.G. Ramadge et G.M. Wonham, The control of discrete event systems, IEEE, 1989.
W. Thomas, The synthesis of strategies in infinite games, STACS, 1995.
Anca Muscholl