Details for the publication 0031SV23.

Yong Li, Sven Schewe (), Moshe Y. Vardi (): Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. In 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, volume 279 of LIPIcs, pages 37:1-37:17, 2023. DOI BIB