Partager cette page :

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.

Séminaire Informatique et télécommunications

Séminaire 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 16 septembre 2019