On-the-Fly Emptiness Checks for Generalized Büchi Automata.

Jean-Michel Couvreur Alexandre Duret-Lutz Denis Poitrenaud

Published in: SPIN (2005)

Keyphrases

tree automata
finite automata
finite state
information gain
real time
genetic algorithm
image processing
regular expressions
case study
cellular automata
reinforcement learning
markov decision processes
data management
multiscale
website
learning algorithm
information retrieval
machine learning