Explanation paradigms leveraging analytic intuition (ExPLAIn)

Simple item page
dc.contributor.authorJansen, Nils
dc.contributor.authorNolte, Gerrit
dc.contributor.authorSteffen, Bernhard
dc.date.accessioned2025-03-05T11:31:44Z
dc.date.available2025-03-05T11:31:44Z
dc.date.issued2023-09-01
dc.description.abstractIn this paper, we present the envisioned style and scope of the new topic “Explanation Paradigms Leveraging Analytic Intuition” (ExPLAIn) with the International 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 hidden properties of black-box systems, or (2) to enforce vital properties by embedding them into appropriate system contexts. Machine-learned systems, such as Deep Neural Networks, are particularly challenging black-box systems, and there is a wealth of formal methods for analysis and verification waiting to be adapted and applied. The selection of papers of this first Special Section of ExPLAIn, most of which were co-authored by editorial board members, is an illustrative example of the style and scope envisioned: In addition to methodological papers on verification, explanation, and their scalability, case studies, tool papers, literature reviews, and position papers are also welcome.en
dc.identifier.urihttp://hdl.handle.net/2003/43515
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-25348
dc.language.isoen
dc.relation.ispartofseriesInternational journal on software tools for technology transfer; 25(3)
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectFormal methodsen
dc.subjectExplanationen
dc.subject(Deep) Neural Networksen
dc.subjectDeep learningen
dc.subjectRigorous analysisen
dc.subjectDecision treesen
dc.subjectRandom forestsen
dc.subjectRobustnessen
dc.subjectReliabilityen
dc.subjectVerificationen
dc.subject(Statistical) model checkingen
dc.subjectTestingen
dc.subjectCompetitionen
dc.subject.ddc004
dc.subject.rswkFormale Methodede
dc.subject.rswkErklärungde
dc.subject.rswkTiefes neuronales Netzde
dc.subject.rswkDeep Learningde
dc.subject.rswkEntscheidungsbaumde
dc.subject.rswkRobustheitde
dc.subject.rswkZuverlässigkeitde
dc.subject.rswkVerifikationde
dc.subject.rswkModel Checkingde
dc.subject.rswkTestende
dc.titleExplanation paradigms leveraging analytic intuition (ExPLAIn)en
dc.typeText
dc.type.publicationtypeArticle
dcterms.accessRightsopen access
eldorado.secondarypublicationtrue
eldorado.secondarypublication.primarycitationJansen, N., Nolte, G. and Steffen, B. (2023) ‘Explanation paradigms leveraging analytic intuition (ExPLAIn)’, International journal on software tools for technology transfer, 25(3), pp. 241–247. Available at: https://doi.org/10.1007/s10009-023-00715-0en
eldorado.secondarypublication.primaryidentifierhttps://doi.org/10.1007/s10009-023-00715-0

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
s10009-023-00715-0.pdf
Size:
876.95 KB
Format:
Adobe Portable Document Format
Description:
DNB
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.82 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

LS 05 Programmiersysteme