Luca Marzari is a Ph.D. student in Computer Science at the University of Verona, advised by Prof. Alessandro Farinelli and Prof. Ferdinando Cicalese. His research focuses on developing efficient and reliable methods for verifying the correctness of Deep Neural Networks, particularly in the context of Deep Reinforcement Learning (DRL) applications. He is also exploring the use of approximate verification techniques inside the DRL training process in order to foster the learning of safer behaviors.
Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
******** CSS e script comuni siti DOL - frase 9957 ********