Schlüter, M. and Nolte, G. 2023. Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. Electronic Communications of the EASST. 82, (Oct. 2023). DOI:https://doi.org/10.14279/tuj.eceasst.82.1225.