Simulation relations for alternating Büchi automata.

Carsten Fritz Thomas Wilke

Published in: Theor. Comput. Sci. (2005)

Keyphrases

mathematical model
simulation model
finite state
simulation environment
simulation models
finite automata