Optimizing Büchi Automata.

Kousha Etessami Gerard J. Holzmann

Published in: CONCUR (2000)

Keyphrases

cellular automata
probabilistic automata
finite state
information gain
data mining
databases
tree automata
finite automata
regular expressions
lattice gas
markov chain
mobile robot
artificial neural networks
similarity measure
image segmentation
website
knowledge base
e learning