Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

DOI10.1007/978-3-031-13188-2_8zbMath1514.68108MaRDI QIDQ6487334

Andrea Turrini, Moshe Y. Vardi, Li-jun Zhang, Yong Li, Weizhi Feng

Publication date: 7 December 2022

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition