On Semantically-Deterministic Automata

Bader Abu Radi, Orna Kupferman

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2305.15489

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	A Hierarchy of Nondeterminism	2022	Bader Abu Radi Orna Kupferman Ofer Leshkowitz
+ PDF Chat	Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability	2009	Christel Baier Nathalie Bertrand Marcus Größer
+	ω-Automata	2016	Thomas Wilke
+	{\omega}-Automata	2016	Thomas Wilke
+ PDF Chat	Token Games and History-Deterministic Quantitative-Automata	2023	Udi Boker Karoliina Lehtinen
+	Token Games and History-Deterministic Quantitative-Automata	2021	Udi Boker Karoliina Lehtinen
+	Computing the Width of Non-deterministic Automata	2018	Denis Kuperberg Anirban Majumdar
+ PDF Chat	From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata	2007	Nir Piterman
+	Good for Games Automata: From Nondeterminism to Alternation	2019	Udi Boker Karoliina Lehtinen
+	Determinization of $ω$-automata unified	2011	Hrishikesh Karmarkar Supratik Chakraborty
+	Deterministic Suffix-reading Automata	2024	R Keerthan B. Srivathsan R. Venkatesh Sagar Verma
+	Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.	2018	Filippo Bonchi Ana Sokolova Valeria Vignudelli
+ PDF Chat	A Congruence-Based Perspective on Finite Tree Automata	2022	Pierre Ganty Elena Gutiérrez Pedro Valero
+	Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition	2022	Yong Li Andrea Turrini Weizhi Feng Moshe Y. Vardi Lijun Zhang
+	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata	2023	Yong Li Sven Schewe Moshe Y. Vardi
+	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
+ PDF Chat	Certifying Inexpressibility	2021	Salomon Sickert Orna Kupferman
+	A Congruence-Based Perspective on Finite Tree Automata	2021	Pierre Ganty Elena Gutiérrez Pedro Valero
+	History-deterministic Parikh Automata	2022	Enzo Erlich 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