Antonio Casares Santos
I am a PhD student in Theoretical Computer Science at
LaBRI (Université de Bordeaux, France) under the supervision of Thomas Colcombet, Nathanaël Fijalkow and Igor Walukiewicz.
My research interests are related to the formal verification and synthesis of reactive systems. In particular, I am currently studying algorithms for solving infinite duration games as well as automata over infinite words.
Before that, I studied mathematics at Universidad de Valladolid (Spain), and obtained my M. Sc. in Mathematical Logic and Foundations of Computer Science at Université de Paris (France).
You will find more information in
I co-organize the seminar of the
Formal Methods and Models team, as well as the Sémi-doc (PhD students seminar). Do not hesitate to contact me for any question or if you want to give a talk at the Sémi-doc!
A full list of my publications can also be found in my
dblp page. Conferences
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). Submitted to: CONCUR 2022 - full version - bibtex.
On the size of good-for-games Rabin automata and its link with the memory in Muller games (with Thomas Colcombet and Karoliina Lehtinen). In: ICALP 2022 - pdf - bibtex.
Practical Applications of the Alternating Cycle Decomposition (with Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin and Salomon Sickert). In: TACAS 2022 - full version - bibtex.
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. In: CSL 2022 - pdf - full version - bibtex.
Best Student Paper Award. Optimal Transformations of Games and Automata using Muller Conditions (with Thomas Colcombet and Nathanaël Fijalkow). In: ICALP 2021 - pdf - full version - bibtex - video.
On the ESL algorithm for energy games (with Pierre Ohlmann), 2021 - pdf - bibtex.
Talks Upcoming events
29 June 2022 Talk at HIGHLIGHTS 2022 (Paris, France) On the Size of Good-for-games Rabin Automata and its Link with the Memory in Muller Games.
6 July 2022 Talk at ICALP 2022 (Paris, France) On the Size of Good-for-games Rabin Automata and its Link with the Memory in Muller Games. Some past events and slides
May 2022 Talk for the ANR Delta Meeting at CIRM (Marseille) Half-Positional Objectives Recognized by Deterministic Büchi Automata - slides.
Dec 2021 Talk for the seminar of the team MOVE (LIS, Marseille) On a correspondence between memory structures for Muller games and Rabin automata.- slides.
Nov 2021 Talk for the seminar of the team LX (LaBRI, Bordeaux) On a correspondence between memory structures for Muller games and Rabin automata - slides.
Sept 2021 Talk at Highlights 2021 (online) The Arena-Independent Memory Requirements of Muller Conditions - slides - poster.
July 2021 Talk at Orna Kupferman's group at the Hebrew University of Jerusalem (online) On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions - slides.
July 2021 Talk at the seminar of the automata group, IRIF Optimal Transformations of Games and Automata using Muller Conditions - slides.
June 2021 Talk for the ANR Delta Meeting at IRIF On the minimisation of transition-based Rabin automata - slides.
June 2021 Talk at the GT ALGA Annual Meeting (online)
Optimal Transformations of Muller Conditions - slides.
Feb 2021 Talk at the student seminar of the Toulouse Mathematics Institute (online) about
The synthesis problem: from logic to games.
Dec 2020 Talk at the seminar of the team Formal Methods, LaBRI (online) about
Optimal Transformations of Muller Conditions.
Nov 2020 Presented at the Spotlight on Games Workshop 2020 (online) the problem
Memory requirements for generalised reachability
games - poster.
Jul 2020 Talk at Encuentro Nacional de Estudiantes de Matemáticas 2020 (online)
¿Podemos programar únicamente con bucles
- for? slides - video youtube.
antonio [dot] casares-santos [at] labri [dot] fr
Office 257, LaBRI
351, Cours de la Libération, building A30
F-33405 Talence Cedex (France)