Antonio Casares

Identifiers

• name variant Antonio Casares 0.60 · backfill

Papers (4)

1. History-Deterministic B\"uchi Automata are Succinct cs.FL · 2026 · author #1
2. Infinite lexicographic products of positional objectives cs.GT · 2025 · author #1
3. The memory of $\omega$-regular and BC($\Sigma_2^0$) objectives cs.LO · 2025 · author #1
4. On the Minimisation of Deterministic and History-Deterministic Generalised (co)B\"uchi Automata cs.FL · 2024 · author #1

Mentions

• 2502.05840 #1 · arxiv_oai · confidence 0.70 Antonio Casares
• 2603.05380 #1 · arxiv_oai · confidence 0.70 Antonio Casares
• 2407.18090 #1 · arxiv_oai · confidence 0.70 Antonio Casares

Frequent Coauthors

• Keya Prakash 2 shared papers
• Pierre Ohlmann 2 shared papers
• Corto Mascle 1 shared papers
• Denis Kuperberg 1 shared papers
• Igor Walukiewicz 1 shared papers
• K. S. Thejaswini 1 shared papers
• Micha{\l} Skrzypczak 1 shared papers
• Olivier Idir 1 shared papers