Schlüter, M.; Nolte, G. Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. eceasst 2023, 82.