On the Power of Finite Ambiguity in Büchi Complementation

Weizhi Feng, Yong Li, Andrea Turrini +2

In this work, we exploit the power of \emph{finite ambiguity} for the complementation problem of Büchi automata by using reduced run directed acyclic graphs (DAGs) over infinite wo…