Hypernode Automata.

Ezio Bartocci Thomas A. Henzinger Dejan Nickovic Ana Oliveira da Costa

Published in: CoRR (2023)

Keyphrases

probabilistic automata
cellular automata
finite automata
regular expressions
finite state
tree automata
finite state machines
formal language theory
data mining
genetic algorithm
timed automata
lattice gas
databases
relational databases
special case
hidden markov models