Almost Linear Büchi Automata

Tomás Babiak Vojtech Rehák Jan Strejcek

Published in: EXPRESS (2009)

Keyphrases

cellular automata
data sets
evolutionary algorithm
quadratic programming
probabilistic automata
databases
knowledge base
markov chain
closed form
information gain
finite state machines
transfer function
linear systems
linear complexity
tree automata