Verifying And Interpreting Neural Networks using Finite Automata.
Marco SälzerEric AlsmannFlorian BruseMartin LangePublished in: CoRR (2022)
Keyphrases
- finite automata
- neural network
- grammatical inference
- deterministic automata
- probabilistic automata
- regular expressions
- tree automata
- fuzzy logic
- artificial neural networks
- finite automaton
- back propagation
- self organizing maps
- regular languages
- model checking
- expert systems
- computational model
- keywords
- knowledge base
- database