Zoologie de méthodes algorithmiques pour les jeux dynamiques – ZADyG

Les jeux dynamiques (répétés) déterministes ou stochastiques apparaissent sous différentes formes et dans de nombreuses applications. Ils font aussi l'objet de problèmes ouverts en complexité algorithmique.
Notre consortium fédère des informaticiens et des mathématiciens appliqués qui ont développé des approches variées des jeux dynamiques, allant de la théorie des automates à la combinatoire, la théorie des applications non-expansives, ou bien la géométrie polyédrale ou tropicale.
Notre objectif est de développer une vision unifiée de ces approches, afin de parvenir à une meilleure compréhension des questions de complexité des jeux dynamiques, et aussi d'étudier des classes de jeux apparaissant dans des applications issues de la vérification, de l'économie mathématique, de l'optimisation robuste, ou encore de la dynamique des populations.
Le projet est organisé en réseau, et prévoit l'organisation de réunions et d'événements ouverts (conférence) afin de permettre une fertilisation croisée. L'accent sera mis en particulier sur la formation des jeunes chercheurs (avec des contrats doctorals et post-doctorals, ainsi qu'une école d'été), exploitant l'environnement interdisciplinaire du projet.