Details for the publication LiSV24.

Yong Li, Sven Schewe (), Moshe Y. Vardi (): Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. In Theor. Comput. Sci. 1006:114650, 2024. DOI BIB