Master Computer Science



The following thesis was written by a student in the 2023-2024 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleAuto-Verify: A framework for portfolio-based neural network verification
StudentSpek, C.
ProgrammeMaster Computer Science
Year2023-2024
Supervisors H.M.T. König MSc, A.W. Bosman (first supervisor)
Rijn, dr. J.N. (Jan) van
Hoos, prof.dr. H.H. (Holger)
Thesis Open Thesis PDF

Citation details

Spek, C. , Auto-Verify: A framework for portfolio-based neural network verification, Thesis Master Computer Science, LIACS, Leiden University, 2024.