Antonio Casares, doctorant encadré par Igor Walukiewicz et Nathanaël Fijalkow a remporté le prix du meilleur article étudiant de la conférence CSL (Computer Science in Logic).
Il s’agit d’étudier deux modèles qui sont essentiels dans l'étude théorique des processus non-terminants : les automates sur les mots infinis et les jeux à durée infinie.
Ces travaux ont contribué à trouver une relation forte entre ces deux modèles : nous identifions un type d'automates qui caractérise exactement la complexité des stratégies gagnantes pour une classe de jeux.