[LiTFVZ22] Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition Li, Y.; Turrini, A.; Feng, W.; Vardi, M. Y. and Zhang, L. In CAV, pages 152-173, Springer, Lecture Notes in Computer Science 13372, 2022.
Downloads: bibURL: https://doi.org/10.1007/978-3-031-13188-2_8