How Deterministic are Good-For-Games Automata?

Type: Preprint

Publication Date: 2017-10-11

Citations: 7

Locations

  • arXiv (Cornell University) - View

Similar Works

Action Title Year Authors
+ How Deterministic are Good-For-Games Automata? 2017 Udi Boker
Orna Kupferman
Michał Skrzypczak
+ Good for Games Automata: From Nondeterminism to Alternation 2019 Udi Boker
Karoliina Lehtinen
+ Good for Games Automata: From Nondeterminism to Alternation 2019 Udi Boker
Karoliina Lehtinen
+ PDF Chat Canonicity in GFG and Transition-Based Automata 2020 Bader Abu Radi
Orna Kupferman
+ On Succinctness and Recognisability of Alternating Good-for-Games Automata 2020 Udi Boker
Denis Kuperberg
Karoliina Lehtinen
Michał Skrzypczak
+ Minimising Good-for-Games automata is NP complete 2020 Sven Schewe
+ Minimising Good-for-Games automata is NP complete 2020 Sven Schewe
+ Minimization and Canonization of GFG Transition-Based Automata 2021 Bader Abu Radi
Orna Kupferman
+ On Semantically-Deterministic Automata 2023 Bader Abu Radi
Orna Kupferman
+ Natural Colors of Infinite Words 2022 Rüdiger Ehlers
Sven Schewe
+ History Determinism vs. Good for Gameness in Quantitative Automata 2021 Udi Boker
Karoliina Lehtinen
+ PDF Chat Minimization and Canonization of GFG Transition-Based Automata 2022 Bader Abu Radi
Orna Kupferman
+ On the Succinctness of Good-for-MDPs Automata 2023 Sven Schewe
Qiyi Tang
+ PDF Chat History-Determinism vs Fair Simulation 2024 Udi Boker
Thomas A. Henzinger
Karoliina Lehtinen
Aditya Prakash
+ Computing the Width of Non-deterministic Automata 2018 Denis Kuperberg
Anirban Majumdar
+ PDF Chat Profile Trees for Büchi Word Automata, with Application to Determinization 2013 Seth Fogarty
Orna Kupferman
Moshe Y. Vardi
Thomas Wilke
+ PDF Chat Good-for-games $\omega$-Pushdown Automata 2022 Karoliina Lehtinen
Martín Zimmermann
+ On the Succinctness of Alternating Parity Good-for-Games Automata 2020 Udi Boker
Denis Kuperberg
Karoliina Lehtinen
Michał Skrzypczak
+ Alternating Good-for-MDP Automata 2022 Ernst Moritz Hahn
Mateo Perez
Sven Schewe
Fabio Somenzi
Ashutosh Trivedi
Dominik Wojtczak
+ Parikh Automata over Infinite Words 2022 Shibashis Guha
Ismaël Jecker
Karoliina Lehtinen
Martín Zimmermann

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors