| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algebraic aggregation of random forests: towards explainability and rapid evaluation
|
Gossen, Frederik
|
|
|
25 |
3 |
p. 267-285
|
artikel
|
| 2 |
Algebraically explainable controllers: decision trees and support vector machines join forces
|
Jüngermann, Florian
|
|
|
25 |
3 |
p. 249-266
|
artikel
|
| 3 |
Analysis of recurrent neural networks via property-directed verification of surrogate models
|
Khmelnitsky, Igor
|
|
|
25 |
3 |
p. 341-354
|
artikel
|
| 4 |
Analyzing neural network behavior through deep statistical model checking
|
Gros, Timo P.
|
|
|
25 |
3 |
p. 407-426
|
artikel
|
| 5 |
An overview of structural coverage metrics for testing neural networks
|
Usman, Muhammad
|
|
|
25 |
3 |
p. 393-405
|
artikel
|
| 6 |
Decision-making under uncertainty: beyond probabilities
|
Badings, Thom
|
|
|
25 |
3 |
p. 375-391
|
artikel
|
| 7 |
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)
|
Jansen, Nils
|
|
|
25 |
3 |
p. 241-247
|
artikel
|
| 8 |
First three years of the international verification of neural networks competition (VNN-COMP)
|
Brix, Christopher
|
|
|
25 |
3 |
p. 329-339
|
artikel
|
| 9 |
Forest GUMP: a tool for verification and explanation
|
Murtovi, Alnis
|
|
|
25 |
3 |
p. 287-299
|
artikel
|
| 10 |
The power of typed affine decision structures: a case study
|
Nolte, Gerrit
|
|
|
25 |
3 |
p. 355-374
|
artikel
|
| 11 |
Towards rigorous understanding of neural networks via semantics-preserving transformations
|
Schlüter, Maximilian
|
|
|
25 |
3 |
p. 301-327
|
artikel
|
Tijdschrift beschrijving