On-The-Fly Bisimilarity Checking for Fresh-Register Automata.

M. H. Bandukara Nikos Tzevelekos

Published in: SETTA (2022)

Keyphrases

cellular automata
probabilistic automata
finite automata
finite state machines
tree automata
lattice gas
neural network
regular expressions
finite state
data sets
expert systems
evolutionary algorithm
turing machine
timed automata