Skip to main content
Top

International Journal on Software Tools for Technology Transfer

Issue 3/2023

Content (11 Articles)

Open Access Explanation Paradigms Leveraging Analytic Intuition

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)

Nils Jansen, Gerrit Nolte, Bernhard Steffen

Open Access EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION

Algebraically explainable controllers: decision trees and support vector machines join forces

Florian Jüngermann, Jan Křetínský, Maximilian Weininger

Open Access Explanation Paradigms Leveraging Analytic Intuition

Algebraic aggregation of random forests: towards explainability and rapid evaluation

Frederik Gossen, Bernhard Steffen

Open Access EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION

Forest GUMP: a tool for verification and explanation

Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen

Open Access Explanation Paradigms Leveraging Analytic Intuition

Towards rigorous understanding of neural networks via semantics-preserving transformations

Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen

Open Access Explanation Paradigms Leveraging Analytic Intuition

First three years of the international verification of neural networks competition (VNN-COMP)

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu

Open Access Explanation Paradigms Leveraging Analytic Intuition

Analysis of recurrent neural networks via property-directed verification of surrogate models

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Open Access EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION

The power of typed affine decision structures: a case study

Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen

Open Access Explanation Paradigms Leveraging Analytic Intuition

Decision-making under uncertainty: beyond probabilities

Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen

Explanation Paradigms Leveraging Analytic Intuition

An overview of structural coverage metrics for testing neural networks

Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Păsăreanu

Open Access Explanation Paradigms Leveraging Analytic Intuition

Analyzing neural network behavior through deep statistical model checking

Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner