Now showing items 1-1 of 1

    • An improved lower bound for the complementation of Rabin automata 

      Cai, Yang; Zhang, Ting; Luo, Haifeng (Institute of Electrical and Electronics Engineers, 2009-09)
      Automata on infinite words (omega-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of omega-automata is a crucial instrument in many these ...