TY  - RPRT
TI  - Verifying And Interpreting Neural Networks using Finite Automata
AU  - Marco Sälzer
AU  - Eric Alsmann
AU  - Florian Bruse
AU  - Martin Lange
PY  - 2023
UR  - https://arxiv.org/abs/2211.01022
ID  - 2211.01022
ER  -