Minimizing Generalized Büchi Automata.

Sudeep Juvekar Nir Piterman

Published in: CAV (2006)

Keyphrases

cellular automata
relative entropy
probabilistic automata
regular expressions
convex functions
real time
finite state machines
data sets
databases
information systems
face recognition
natural language
query language
information gain
timed automata
lattice gas