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