Speaker
Federico Rossi
University of Pisa
Talks at this conference:
20, 14:50 | Formal verification of neural networks in cyber-physical systems Live |
Speaker
University of Pisa
20, 14:50 | Formal verification of neural networks in cyber-physical systems Live |