Antonio Casares

According to our database, Antonio Casares authored at least 14 papers between 2020 and 2024.

Collaborative distances:

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

2024

Half-positional ω-regular languages.

Antonio Casares, Pierre Ohlmann

CoRR, 2024

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

Antonio Casares, Corto Mascle

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

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

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

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

CoRR, 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