Wed 5 Jun 2024 11:20 - 11:45 at Ballroom - FM for Learning-enabled Systems Chair(s): Misty Davies

Wed 5 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 11:45
FM for Learning-enabled Systems NFM 2024 at Ballroom
Chair(s): Misty Davies NASA
10:30
25m
Talk
Towards formal verification of neural networks in cyber-physical systems
NFM 2024
Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Cinzia Bernardeshi Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Marco Cococcioni Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Maurizio Palmieri Università di Pisa, Dipartimento di Ingegneria dell'Informazione
10:55
25m
Talk
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
NFM 2024
Yuhao Zhou , Stavros Tripakis Northeastern University
11:20
25m
Talk
Approximate Conformance Verification of Deep Neural Networks
NFM 2024
Habeeb P Indian Institute of Science, Bangalore., Pavithra Prabhakar Kansas State University