Paper accepted at CONCUR'23

We are happy to announce that our paper about a singly exponential translation of weak alternating Büchi automata to unambiguous Büchi automata has been accepted at CONCUR’23.