Je vais passer en revue plusieurs types de jeux sur les graphes finis
et infinis en me
concentrant sur les jeux de parité et leurs généralisations.
Les liens entre ce type de jeux, le calcul de point fixe
(mu-calculus) et la logique seront également présentés.