Antonio Casares

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 21

Top Topics

Finite State Automaton

Finite Automata

Regular Languages

Memory Requirements

Top Venues

Publications

Antonio Casares, Corto Mascle
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition. CoRR (2024)
Antonio Casares, Pierre Ohlmann
Half-positional ω-regular languages. CoRR (2024)
Antonio Casares, Pierre Ohlmann
Positional ω-regular languages. LICS (2024)
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
Simple and tight complexity lower bounds for solving Rabin games. SOSA (2024)
Antonio Casares, Corto Mascle
The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. MFCS (2024)
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata. CoRR (2024)
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism. CoRR (2023)
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
Simple and tight complexity lower bounds for solving Rabin games. CoRR (2023)
Antonio Casares, Pierre Ohlmann
Characterising Memory in Infinite Games. ICALP (2023)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). IJCAI (2023)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CoRR (2022)
Antonio Casares, Pierre Ohlmann
Characterising memory in infinite games. CoRR (2022)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CONCUR (2022)
Antonio Casares
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. CSL (2022)
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games. ICALP (2022)
Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
On the size of good-for-games Rabin automata and its link with the memory in Muller games. CoRR (2022)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Practical Applications of the Alternating Cycle Decomposition. TACAS (2) (2022)
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow
Optimal Transformations of Games and Automata Using Muller Conditions. ICALP (2021)
Antonio Casares, Pierre Ohlmann
On the ESL algorithm for solving energy games. CoRR (2021)
Antonio Casares
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. CoRR (2021)
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow
Optimal transformations of Muller conditions. CoRR (2020)