Autor der Publikation

On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games.

, , und . ICALP, Volume 229 von LIPIcs, Seite 117:1-117:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

 

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)Characterising memory in infinite games., und . CoRR, (2022)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)Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)., , , und . IJCAI, Seite 6420-6425. ijcai.org, (2023)On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games., , und . ICALP, Volume 229 von LIPIcs, Seite 117:1-117:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Simple and tight complexity lower bounds for solving Rabin games., , , , und . CoRR, (2023)Optimal transformations of Muller conditions., , und . CoRR, (2020)Practical Applications of the Alternating Cycle Decomposition., , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 99-117. Springer, (2022)Simple and tight complexity lower bounds for solving Rabin games., , , , und . SOSA, Seite 160-167. SIAM, (2024)