Antonio Casares

35 papers A* 6B 4Journal 21Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
History-Deterministic Büchi Automata are Succinct.
CoRR
Antonio Casares, Aditya Prakash, K. S. Thejaswini
2026 J jnl
Layered automata: A canonical model for automata over infinite words.
CoRR
Antonio Casares, Christof Löding, Igor Walukiewicz
2026 J jnl
Positional ω-regular languages.
TheoretiCS
Antonio Casares, Pierre Ohlmann
2025 J jnl
Characterising memory in infinite games.
Log. Methods Comput. Sci.
Antonio Casares, Pierre Ohlmann
2025 — conf
Fast value iteration: A uniform approach to efficient algorithms for energy games.
TACAS (2)
Michaël Cadilhac, Antonio Casares, Pierre Ohlmann
2025 J jnl
Infinite lexicographic products of positional objectives.
CoRR
Antonio Casares, Pierre Ohlmann, Michal Skrzypczak, Igor Walukiewicz
2025 B conf
On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.
CSL
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2025 A* conf
The Memory of ω-Regular and BC(Σ⁰₂) Objectives.
ICALP
Antonio Casares, Pierre Ohlmann
2025 J jnl
The memory of ω-regular and BC(Σ
CoRR
Antonio Casares, Pierre Ohlmann
2025 J jnl
Transition-based vs stated-based acceptance for automata over infinite words.
CoRR
Antonio Casares
2024 J jnl
A positional Π
CoRR
Antonio Casares, Pierre Ohlmann, Pierre Vandenhove
2024 J jnl
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism.
TheoretiCS
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
2024 J jnl
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
Log. Methods Comput. Sci.
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2024 J jnl
Half-positional ω-regular languages.
CoRR
Antonio Casares, Pierre Ohlmann
2024 J jnl
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata.
CoRR
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2024 A* conf
Positional ω-regular languages.
LICS
Antonio Casares, Pierre Ohlmann
2024 — conf
Simple and tight complexity lower bounds for solving Rabin games.
SOSA
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
2024 B conf
The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition.
MFCS
Antonio Casares, Corto Mascle
2024 J jnl
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition.
CoRR
Antonio Casares, Corto Mascle
2023 A* conf
Characterising Memory in Infinite Games.
ICALP
Antonio Casares, Pierre Ohlmann
2023 J jnl
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism.
CoRR
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
2023 A* conf
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract).
IJCAI
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2023 J jnl
Simple and tight complexity lower bounds for solving Rabin games.
CoRR
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
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
2022 J jnl
Characterising memory in infinite games.
CoRR
Antonio Casares, Pierre Ohlmann
2022 B conf
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
CONCUR
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022 J jnl
Half-Positional Objectives Recognized by Deterministic Büchi Automata.
CoRR
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022 B conf
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.
CSL
Antonio Casares
2022 A* conf
On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games.
ICALP
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
2022 J jnl
On the size of good-for-games Rabin automata and its link with the memory in Muller games.
CoRR
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
2022 — conf
Practical Applications of the Alternating Cycle Decomposition.
TACAS (2)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
2021 J jnl
On the ESL algorithm for solving energy games.
CoRR
Antonio Casares, Pierre Ohlmann
2021 J jnl
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.
CoRR
Antonio Casares
2021 A* conf
Optimal Transformations of Games and Automata Using Muller Conditions.
ICALP
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow
2020 J jnl
Optimal transformations of Muller conditions.
CoRR
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow