13:30
16:30

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

Grand Amphi du LaBRI - https://u-bordeaux-fr.zoom.us/j/82766762560?pwd=NG5NUWRhbkNVTmlEUjMxajZWOFppdz09