On the Virtue of Patience: Minimizing Büchi Automata.

Rüdiger Ehlers Bernd Finkbeiner

Published in: SPIN (2010)

Keyphrases

cellular automata
regular expressions
learning algorithm
finite state
database
real time
neural network
reinforcement learning
probabilistic model
information gain
finite state machines
finite automata
optimization criteria