Les jeux pour la synthèse, une perspective commune – G4S

L'objectif du projet G4S est d'étudier la synthèse de contrôleur, traditionnellement et indépendamment étudiée par trois domaines de l'informatique : automate et logique, apprentissage par récompense, et optimisation. Dans ce cadre un agent évolue dans un environnement dont certaines actions sont contrôlables et d'autres pas. Il s'agit de construire un programme choisissant les actions contrôlables de manière à satisfaire une spécification donnée. Les trois domaines contribuent chacun à l'étude de modèles de jeux pertinents pour la synthèse de contrôleur en posant des questions similaires, mais en utilisant des techniques différentes et avec des critères d'évaluation différents. L'ambition du projet G4S est d'unifier ces approches : d'une part de mieux comprendre et d'analyser les algorithmes existants à la lumière de critères issus d'autres domaines, et d'autre part de construire de nouveaux algorithmes combinant les techniques et qualités des trois domaines.