Antonio Casares

According to our database, Antonio Casares authored at least 22 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

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

Antonio Casares

CoRR, August, 2025

Infinite lexicographic products of positional objectives.

Antonio Casares, Pierre Ohlmann, Michal Skrzypczak, Igor Walukiewicz

CoRR, June, 2025

The memory of ω-regular and BC(Σ₂⁰) objectives.

Antonio Casares, Pierre Ohlmann

CoRR, February, 2025

Fast value iteration: A uniform approach to efficient algorithms for energy games.

Michaël Cadilhac, Antonio Casares, Pierre Ohlmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

The Memory of ω-Regular and BC(Σ⁰₂) Objectives.

Antonio Casares, Pierre Ohlmann

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism.

Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen

TheoretiCS, 2024

A positional Π⁰₃-complete objective.

Antonio Casares, Pierre Ohlmann, Pierre Vandenhove

CoRR, 2024

Half-positional ω-regular languages.

Antonio Casares, Pierre Ohlmann

CoRR, 2024

Simple and tight complexity lower bounds for solving Rabin games.

Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini

Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition.

Antonio Casares, Corto Mascle

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Positional ω-regular languages.

Antonio Casares, Pierre Ohlmann

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Structural properties of automata over infinite words and memory for games. (Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux).

Antonio Casares

PhD thesis, 2023

Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract).

Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Characterising Memory in Infinite Games.

Antonio Casares, Pierre Ohlmann

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Practical Applications of the Alternating Cycle Decomposition.

Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games.

Antonio Casares, Thomas Colcombet, Karoliina Lehtinen

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.

Antonio Casares

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

Half-Positional Objectives Recognized by Deterministic Büchi Automata.

Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

On the ESL algorithm for solving energy games.

Antonio Casares, Pierre Ohlmann

CoRR, 2021

Optimal Transformations of Games and Automata Using Muller Conditions.

Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Optimal transformations of Muller conditions.

Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow

CoRR, 2020