Login / Signup
Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata.
Nicolas Bousquet
Christof Löding
Published in:
LATA (2010)
Keyphrases
</>
cellular automata
finite state
probabilistic automata
information gain
lattice gas
regular expressions
finite state machines
finite automata
data sets
information systems
multi agent
markov chain
tree automata