Les auteurs, dont Nathanaël Fijalkow et Hugo Gimbert, ont publié le livre "Games on Graphs" à Cambridge University Press en mai dernier.
Il y est question des résultats fondamentaux et de l'état de l'art concernant les jeux de durée infinie sur les graphes.
Le contenu est accessible à des étudiants de troisième cycle débutants, ne nécessitant qu'une compréhension de base des algorithmes discrets et des graphes.
Ces modèles de jeux polyvalents, initialement étudiés dans les automates et la logique, sont désormais nécessaire dans la vérification et la synthèse de programmes, et ont de nombreuses applications. Ce livre est une référence du domaine pour traiter de modèles d’optimisation, d’apprentissage par renforcément, de théories des modèles et des ensembles. Son but est de créer des algorithmes efficaces pour analyser différents types de jeux, en exploitant les bases théoriques et des stratégies gagnantes, plutôt que leurs implémentations.