Works matching IS 14332779 AND DT 2023 AND VI 25 AND IP 3
Results: 11
Algebraically explainable controllers: decision trees and support vector machines join forces.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 249, doi. 10.1007/s10009-023-00716-z
- By:
- Publication type:
- Article
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 241, doi. 10.1007/s10009-023-00715-0
- By:
- Publication type:
- Article
Decision-making under uncertainty: beyond probabilities: Challenges and perspectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 375, doi. 10.1007/s10009-023-00704-3
- By:
- Publication type:
- Article
First three years of the international verification of neural networks competition (VNN-COMP).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 329, doi. 10.1007/s10009-023-00703-4
- By:
- Publication type:
- Article
Forest GUMP: a tool for verification and explanation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 287, doi. 10.1007/s10009-023-00702-5
- By:
- Publication type:
- Article
The power of typed affine decision structures: a case study.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 355, doi. 10.1007/s10009-023-00701-6
- By:
- Publication type:
- Article
Towards rigorous understanding of neural networks via semantics-preserving transformations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 301, doi. 10.1007/s10009-023-00700-7
- By:
- Publication type:
- Article
Analyzing neural network behavior through deep statistical model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 407, doi. 10.1007/s10009-022-00685-9
- By:
- Publication type:
- Article
Analysis of recurrent neural networks via property-directed verification of surrogate models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 341, doi. 10.1007/s10009-022-00684-w
- By:
- Publication type:
- Article
An overview of structural coverage metrics for testing neural networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 393, doi. 10.1007/s10009-022-00683-x
- By:
- Publication type:
- Article
Algebraic aggregation of random forests: towards explainability and rapid evaluation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 3, p. 267, doi. 10.1007/s10009-021-00635-x
- By:
- Publication type:
- Article