Antonio Casares, qui a soutenu sa thèse en 2023, sous la direction d’Igor Walukiewicz et Nathanaël Fijalkow, reçoit le prix de thèse de l'Université de Bordeaux "Sciences et Technologies"
Titre de sa thèse : « Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux »..
Résumé de sa thèse : Les automates et les jeux à durée infinie constituent l’un des outils fondamentaux pour la vérification et la synthèse de systèmes réactifs. Contrairement au cas des langages réguliers sur les mots finis, plusieurs modèles d’automates existent, et de nombreuses questions sur leur structure et sur les langages qu’ils reconnaissent restent ouvertes. Dans cette thèse, nous étudions des transformations entre différents types d’automates sur les mots infinis, le problème de la minimisation, et le lien entre la structure de ces automates et la complexité des stratégies nécessaires pour gagner des jeux sur des graphes avec condition de gain \omega-régulière.
Retrouver sa thèse ici.