Towards trustworthy AI: Formal Verification in Machine Learning

Thursday 4 April 2024, 10:30 am
PhD student
D.M. Groß MSc.
Promotor(s)
prof. dr. F.W. Vaandrager
Co-promotor(s)
prof. dr. N.H. Jansen, dr. G.A. Perez
Location
Aula

.