Towards trustworthy AI: Formal Verification in Machine Learning

donderdag 4 april 2024, 10:30
Promovendus
D.M. Groß MSc.
Promotor(s)
prof. dr. F.W. Vaandrager
Copromotor(s)
prof. dr. N.H. Jansen, dr. G.A. Perez
Locatie
Aula

.