eldorado.tu-dortmund.de/collections/b9e4e97a-78c7-44dd-bf17-a59a787bed53
LS 05 Programmiersysteme
Recent Submissions By Issue Date By Date Accessioned By Title By Author
Recent Submissions
Now showing 1 - 20 of 45
Loading...
Item
Towards formal explainability: Faithful distillation of deep neural networks [...] l Journal on Software Tools for Technology Transfer (STTT). Intention behind this new topic is to (1) explicitly address all aspects and issues that arise when trying to, if possible, reveal and then confirm [...] Howar, Falk ; Jasper, Marc ; Mues, Malte ; Steffen, Bernhard ; Schmidt, David
Show more
This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems …