Singly Exponential Translation of Alternating Weak Bchi Automata to Unambiguous Bchi Automata.

Yong Li, Sven Schewe, Moshe Y. Vardi

Browse the full CONCUR paper archive.