Verifying And Interpreting Neural Networks using Finite Automata

Marco Sälzer, Eric Alsmann, Florian Bruse +1

Verifying properties and interpreting the behaviour of deep neural networks (DNN) is an important task given their ubiquitous use in applications, including safety-critical ones, a…