Minimising Good-for-Games automata is NP complete

Sven Schewe

Type: Preprint

Publication Date: 2020-03-26

Citations: 1

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	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
+ PDF Chat	Canonicity in GFG and Transition-Based Automata	2020	Bader Abu Radi Orna Kupferman
+	How Deterministic are Good-For-Games Automata?	2017	Udi Boker Orna Kupferman Michał Skrzypczak
+	How Deterministic are Good-For-Games Automata?	2017	Udi Boker Orna Kupferman Michał Skrzypczak
+ PDF Chat	Minimization and Canonization of GFG Transition-Based Automata	2022	Bader Abu Radi Orna Kupferman
+	Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata	2010	Sven Schewe
+	Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata	2010	Sven Schewe
+	On Succinctness and Recognisability of Alternating Good-for-Games Automata	2020	Udi Boker Denis Kuperberg Karoliina Lehtinen Michał Skrzypczak
+	Advanced Automata Minimization	2012	Lorenzo Clemente Richard Mayr
+ PDF Chat	Advanced automata minimization	2013	Richard Mayr Lorenzo Clemente
+	Advanced Automata Minimization	2012	Lorenzo Clemente Richard Mayr
+	Parikh Automata over Infinite Words	2022	Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martín Zimmermann
+	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	Advanced automata minimization	2013	Richard Mayr Lorenzo Clemente
+	Computing the Width of Non-deterministic Automata	2018	Denis Kuperberg Anirban Majumdar
+	Natural Colors of Infinite Words	2022	Rüdiger Ehlers Sven Schewe
+ PDF Chat	Resource-Aware Automata and Games for Optimal Synthesis	2019	Corina Ĉırstea
+	On the Succinctness of Alternating Parity Good-for-Games Automata	2020	Udi Boker Denis Kuperberg Karoliina Lehtinen Michał Skrzypczak

Works That Cite This (1)

Action	Title	Year	Authors
+ PDF Chat	Canonicity in GFG and Transition-Based Automata	2020	Bader Abu Radi Orna Kupferman

Works Cited by This (0)

Action	Title	Year	Authors