Verifying and Interpreting Neural Networks Using Finite Automata.

Marco Slzer, Eric Alsmann, Florian Bruse, Martin Lange

Browse the full DLT paper archive.