A Note on Monitors and Büchi Automata.

Volker Diekert Anca Muscholl Igor Walukiewicz

Published in: ICTAC (2015)

Keyphrases

cellular automata
finite state
finite state machines
artificial intelligence
information gain
finite automata
computer vision
regular expressions
database
databases
neural network
information retrieval
probabilistic model
medical images
tree automata
probabilistic automata