Verification of neural networks using binary tree search for branching

Pühl, Lisa; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Brix, Christopher Jan-Steffen (Consultant)

Aachen (2022)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2022

Kurzfassung

Einrichtungen

• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
• Fachgruppe Informatik [120000]