Simulation relations for alternating Büchi automata

@article{Fritz2005SimulationRF,
  title={Simulation relations for alternating B{\"u}chi automata},
  author={Carsten Fritz and Thomas Wilke},
  journal={Theor. Comput. Sci.},
  year={2005},
  volume={338},
  pages={275-314}
}
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