First FAIR Workshop on Human-Centered AI

WP 6

Formal verification of neural networks in cyber-physical systems

Cinzia Bernardeschi, Federico Rossi

on  20, 14:50 ! Livein  Aula Magnafor  20min

 Overview  Program