Buffered Simulation Games for Büchi Automata

  title={Buffered Simulation Games for B{\"u}chi Automata},
  author={Milka Hutagalung and Martin Lange and {\'E}tienne Lozes},
Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordinary simulations have been studied, for instance multi-pebble and multi-letter simulations which yield better approximations and are still polynomial-time computable. In this paper… CONTINUE READING