Marco Cococcioni - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Not registered as user

Name:Marco Cococcioni

Country:Italy

Affiliation:Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Contributions

2024

NFM

Towards formal verification of neural networks in cyber-physical systems

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile