Exploration of certificate sharing for neural network verification

2025

VerantwortlichkeitsangabeGlen Jordan Grant

ImpressumAachen 2025

Bachelorarbeit, RWTH Aachen University, 2025

Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
Noll, Thomas (Thesis advisor)^RWTH* ; Katoen, Joost-Pieter (Thesis advisor)^RWTH* ; Brix, Christopher Jan-Steffen (Consultant)^RWTH* ; Fink, Xaver (Consultant)^RWTH*

Tag der mündlichen Prüfung/Habilitation
2025-07-17

Thematische Einordnung (Klassifikation)
DDC: 004

Dokumenttyp
Bachelor Thesis

Herkunft
Public Reference

Sprache
English

Interne Identnummern
RWTH-2025-09680
Datensatz-ID: 1021465

Beteiligte Länder
Germany

Record created 2025-11-14, last modified 2026-01-29

Similar records

Restricted:

PDF

Rate this document:

(Not yet reviewed)

h1