Simulation relations for alternating Büchi automata

  title={Simulation relations for alternating B{\"u}chi automata},
  author={Carsten Fritz and Thomas Wilke},
  journal={Theor. Comput. Sci.},
Quotienting by simulation equivalences is a well-established technique for reducing the size of nondeterministic Büchi automata. We adapt this technique to alternatingBüchi automata. To this end we suggest two new quotients, namely minimax and semi-elective quotients, prove that they preserve the recognized languages, and show that computing them is not… CONTINUE READING