Now showing items 1-1 of 1

    • Unifying Büchi Complementation Constructions 

      Fogarty, Seth J.; Kupferman, Orna; Wilke, Thomas; Vardi, Moshe Y. (2013)
      Complementation of B\"uchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation. The first is the ...