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