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. doi: 10.14279/tuj.eceasst.82.1225.