( en | de | ru )

 

Disambiguierung von "Casares, Antonio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Characterising memory in infinite games.

, und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Antonio Casares

Antonio Wünsch

Antonio Accardi

Antonio Bergua

Antonio Pinto

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.. CoRR, (2021)Positional ω-regular languages., und . LICS, Seite 21:1-21:14. ACM, (2024)From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism., , , und . TheoretiCS, (2024)On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata., , , , und . CoRR, (2024)The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition., und . MFCS, Volume 306 von LIPIcs, Seite 35:1-35:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Characterising memory in infinite games., und . CoRR, (2022)Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)., , , und . IJCAI, Seite 6420-6425. ijcai.org, (2023)On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.. CSL, Volume 216 von LIPIcs, Seite 12:1-12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)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).. University of Bordeaux, France, (2023)Half-Positional Objectives Recognized by Deterministic Büchi Automata., , , und . CONCUR, Volume 243 von LIPIcs, Seite 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)