Publication

[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, Springer, Lecture Notes in Computer Science , 2022.
Downloads: bib