Jeux quantitatifs sur des graphes

Cet exposé a pour objectif de présenter la théorie algorithmique des jeux quantitatifs sur des graphes, qui a de nombreuses applications en particulier dans la synthèse de contrôleurs des systèmes réactifs. Après une présentation générale des objectifs quantitatifs existant dans le domaine, nous étudierons en plus grand détail les jeux de plus court chemin pour lesquels de nouveaux résultats prometteurs ont été mis au jour récemment. Nous parlerons donc de stratégies optimales et d’algorithmes permettant de les découvrir efficacement. Nous évoquerons aussi les extensions aux jeux temporisés, qui permettent d’obtenir des résultats sur la synthèse temps-réel.