Login / Signup

Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.

Yong LiSven ScheweMoshe Y. Vardi
Published in: CoRR (2023)
Keyphrases