Publication

[LiSV23] Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata Li, Y.; Schewe, S. and Vardi, M. Y. In CONCUR, 2023.
Downloads: bib