Jeux quantitatifs sur des graphes
le 1 octobre 2019
15h45 - 17h15
ENS Rennes, Amphithéâtre
Plan d'accès
Intervention de Benjamin Monmège, maître de conférence au LIS à Marseille, dans le cadre des séminaires du département Informatique et télécommunications.
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.
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- Lilian Besson
Mise à jour le 13 novembre 2019