Verifying and Interpreting Neural Networks Using Finite Automata.

Marco Sälzer Eric Alsmann Florian Bruse Martin Lange

Published in: DLT (2024)

Keyphrases

finite automata
neural network
probabilistic automata
deterministic automata
grammatical inference
regular expressions
regular languages
tree automata
hidden markov models
finite automaton
artificial neural networks
fuzzy logic
back propagation
database
semi automatic
artificial intelligence
data mining