guest ::
Novelty-detection-based split selection heuristics for neural network verification
2022
Masterarbeit, RWTH Aachen University, 2022
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ; ;
Tag der mündlichen Prüfung/Habilitation
2022-10-20
Online
URL: https://publications.rwth-aachen.de/record/985672/files/985672.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Kurzfassung
online nicht verfügbar
Restricted: 
PDF
Dokumenttyp
Master Thesis
Format
print
Sprache
English
Interne Identnummern
RWTH-2024-04730
Datensatz-ID: 985672
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2024-05-04, last modified 2025-10-13
Restricted:
PDF
PDF