On Büchi One-Counter Automata.

Stanislav Böhm Stefan Göller Simon Halfon Piotr Hofman

Published in: STACS (2017)

Keyphrases

cellular automata
finite automata
probabilistic automata
information gain
tree automata
finite state
regular expressions
finite state machines
lattice gas
neural network
timed automata
turing machine
lower bound
search algorithm
multiscale
high level
multimedia
decision making
computer vision
information retrieval