En | Fr | Es

Antonio Casares Santos

Soy un investigador postdoctoral en informática teórica en la Universidad de Kaiserslautern (Alemania), en el equipo de Anthony Lin.

Mi investigación se centra en temas relacionados con la lógica y la teoría de lenguajes formales. Más en concreto, estudio propiedades de lenguajes definidos por ω-autómatas, así como algoritmos para la resolución de juegos de duración infinita sobre grafos y teoría de modelos finitos.

Previamente, hice un postdoc en la Universidad de Varsovia con Mikołaj Bojańczyk, tras obtener mi doctorado por la Universidad de Burdeos en 2023, bajo la supervisión de Thomas Colcombet, Nathanaël Fijalkow e Igor Walukiewicz. Tengo un grado en matemáticas por la Universidad de Valladolid (España) y cursé el máster Lógica matemática y fundamentos de la informática en la Universidad de París (Francia).

Puedes consultar mi CV para más información.

Enlaces:

He recopilado algunos enlaces con diferentes consejos sobre la vida académica aquí (en inglés).

Apoyo las siguientes iniciativas:

Tesis doctoral

He defendido mi tesis titulada Structural properties of automata over infinite words and memory for games el 23 de Noviembre de 2023. En los siguientes enlaces se encuentran:

Manuscrito de la tesis (pdf)
Cómo citar (bibtex)
Diapositivas (Se abren en el navegador. Pueden verse ligeramente diferentes en distintos navegadores/ordenadores.)

Mi tesis ha sido galardonada con el premio "Ciencia y tecnología" de la Universidad de Burdeos! (enlace)

Investigación

La lista de mis publicaciones también se puede encontrar en mis páginas de dblp y Google Scholar.

Capítulos de libros

Capítulo Positionality and Memory en el libro Games on Graphs: From Logic and Automata to Algorithms (escrito con Pierre Ohlmann y Pierre Vandenhove) - arxiv link - bibtex of chapter.

Surveys

Transition-based vs stated-based acceptance for automata over infinite words - pdf.

Publicaciones en revistas y conferencias científicas

The memory of ω-regular and BC(Σ₂) objectives (with Pierre Ohlmann). In: ICALP 2025 - conference version- bibtex.
Fast value iteration: A uniform approach to efficient algorithms for energy games (with Michaël Cadilhac and Pierre Ohlmann). In: TACAS 2025 - pdf.
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen). In: TheoretiCS 2024 - pdf - bibtex.
Positional ω-regular languages (with Pierre Ohlmann). In: LICS 2024 - short version - full version- bibtex.
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata (with Olivier Idir, Denis Kuperberg, Corto Mascle and Aditya Prakash). In: CSL 2025 - pdf .
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition (with Corto Mascle). In: MFCS 2024 - short version - full version- bibtex.
Simple and Tight Complexity Lower Bounds for Solving Rabin Games (with Marcin Pilipczuk, Michał Pilipczuk, Uéverton S. Souza, K. S. Thejaswini). In: SOSA 2024 - pdf - bibtex.
Characterising Memory in Infinite Games (with Pierre Ohlmann). In: ICALP 2023 - full version - short version - bibtex.
Half-Positional Objectives Recognized by Deterministic Büchi Automata (with Patricia Bouyer, Mickael Randour and Pierre Vandenhove). In: CONCUR 2022 & IJCAI 2023 & LMCS - journal version - conf version - extended abstract - 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 - short version - 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 - conf version - journal version - bibtex.

Preprints

Infinite lexicographic products of positional objectives (with Pierre Ohlmann, Michał Skrzypczak and Igor Walukiewicz). Submitted to: LMCS - pdf.

A positional Π₃⁰-complete objective (with Pierre Ohlmann and Pierre Vandenhove), 2024 - pdf - bibtex.

Charlas

Algunas diapositivas y pósteres

How to write a good introduction - slides.
Fast Value Iteration: A Uniform Framework for Energy Games - slides.
Safety and Liveness. Some thoughts - slides.
Canonical Models of Automata - slides.
State-Based vs Transition-Based Acceptance in ω-Automata - slides.
The Memory of ω-Regular Languages - short version - long version.
Positional ω-Regular Languages - old slides - poster.
Simplifying ω-Automata through the Alternating Cycle Decomposition - slides.
Minimisation of (History) Deterministic Generalised (co)Büchi Automata - slides.
Half-Positional Objectives Recognized by Deterministic Büchi Automata - slides.
On a Correspondence Between Memory Structures for Muller Games and Rabin Automata.- slides.
Good-For-Games Rabin Automata and the Memory Requirements of Muller Conditions.- slides- poster.
Minimisation of Transition-Based Rabin Automata - slides - poster.
Optimal Transformations of Games and Automata using Muller Conditions - slides.
Open Problem: Memory Requirements for Generalised Reachability games - poster.
Can we program without while loops? - slides - versión antigua - video youtube.

Supervisión de estudiantes de máster

Kacper Lewandowski (University of Warsaw). Master thesis on: History-deterministic coBüchi automata.
Alan Le Brech (ENS Rennes). M1 internship on: Universal value-iteration algorithms for games on graphs.

Docencia

2023 - 2024 (University of Warsaw)

Algorithmic Aspects of Game Theory (Tutorials and some lectures).

Contacto

E-mail
antonio.casares [arroba] rptu [punto] del

Dirección
Edificio 34, Despacho 428 RPTU, Gottlieb-Daimler-Straße 67663 Kaiserslautern (Germany)