1. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)

   • Nils Jansen
   • Gerrit Nolte
   • Bernhard Steffen

   Explanation Paradigms Leveraging Analytic Intuition Open access 01 September 2023 Pages: 241 - 247

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

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

   EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 10 August 2023 Pages: 249 - 266

3. Algebraic aggregation of random forests: towards explainability and rapid evaluation

   • Frederik Gossen
   • Bernhard Steffen

   Explanation Paradigms Leveraging Analytic Intuition Open access 29 September 2021 Pages: 267 - 285

   

4. Forest GUMP: a tool for verification and explanation

   • Alnis Murtovi
   • Alexander Bainczyk
   • Bernhard Steffen

   EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 30 May 2023 Pages: 287 - 299

5. Towards rigorous understanding of neural networks via semantics-preserving transformations

   • Maximilian Schlüter
   • Gerrit Nolte
   • Bernhard Steffen

   Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 301 - 327

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

   • Christopher Brix
   • Mark Niklas Müller
   • Changliu Liu

   Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 329 - 339

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

   • Igor Khmelnitsky
   • Daniel Neider
   • Lina Ye

   Explanation Paradigms Leveraging Analytic Intuition Open access 16 November 2022 Pages: 341 - 354

   

8. The power of typed affine decision structures: a case study

   • Gerrit Nolte
   • Maximilian Schlüter
   • Bernhard Steffen

   EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 21 April 2023 Pages: 355 - 374

   

9. Decision-making under uncertainty: beyond probabilities

   • Thom Badings
   • Thiago D. Simão
   • Nils Jansen

   Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 375 - 391

10. An overview of structural coverage metrics for testing neural networks

    • Muhammad Usman
    • Youcheng Sun
    • Corina S. Păsăreanu

    Explanation Paradigms Leveraging Analytic Intuition 02 November 2022 Pages: 393 - 405

    

11. Analyzing neural network behavior through deep statistical model checking

    • Timo P. Gros
    • Holger Hermanns
    • Marcel Steinmetz

    Explanation Paradigms Leveraging Analytic Intuition Open access 13 December 2022 Pages: 407 - 426