Automated machine learning for neural network verification
- Author(s):
- König, H.M.T. (0009-0003-4900-9735)
- Published
- 2025
- Publication type
- Doctoral Thesis
- Defense date
- 2025-10-09
- Language
- English
- Supervisor(s)
- Hoos, H.H.
- Advisor(s)
- Rijn, J.N. van
- Committee member(s)
- Bonsangue, M.M.; Batenburg, K.J.; Bäck, T.H.W.; Katoen, J.-P.; Kwiatkowska, M.
- Qualification
- Ph.D.
- Degree granting institution
- Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University, Leiden
- hdl
- 1887/4266921
