Invariants for One-Counter Automata with Disequality Tests.

Dmitry Chistikov Jérôme Leroux Henry Sinclair-Banks Nicolas Waldburger

Published in: CONCUR (2024)

Keyphrases

cellular automata
finite automata
probabilistic automata
finite state
databases
neural network
affine invariant
invariant features
lattice gas
real time
data mining
computer vision
knowledge base
image sequences
regular expressions
statistical tests