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