Electronic Communications of the EASST
Schlüter, Maximilian
-
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.