C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Mechanizing the Minimization of Deterministic Generalized Büchi Automata.
Souheib Baarir
Alexandre Duret-Lutz
Published in:
FORTE (2014)
Keyphrases
</>
cellular automata
finite state automaton
turing machine
objective function
black box
finite automata
geometric interpretation
finite state
databases
convex functions
tree automata
decision trees
multiscale
reinforcement learning