%0 Journal Article %1 journals/eceasst/SchluterN22 %A Schlüter, Maximilian %A Nolte, Gerrit %D 2022 %J Electron. Commun. Eur. Assoc. Softw. Sci. Technol. %K dblp %T Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst82.html#SchluterN22 %V 82

@article{journals/eceasst/SchluterN22, added-at = {2024-01-10T00:00:00.000+0100}, author = {Schlüter, Maximilian and Nolte, Gerrit}, biburl = {https://www.bibsonomy.org/bibtex/2415cefc5d47ad99a8798acc1ec16691c/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.82.1225}, interhash = {e710193862aa9e578a5d634f479e77c6}, intrahash = {415cefc5d47ad99a8798acc1ec16691c}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, keywords = {dblp}, timestamp = {2024-04-08T20:52:52.000+0200}, title = {Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst82.html#SchluterN22}, volume = 82, year = 2022 }