Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
How Deterministic are Good-For-Games Automata?
Udi Boker
,
Orna Kupferman
,
Michał Skrzypczak
Type:
Preprint
Publication Date:
2017-10-11
Citations:
7
View Publication
Share
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