Towards formal verification of neural networks in cyber-physical systems (NASA Formal Methods 2024 - NFM 2024)

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

Who

Federico Rossi, Cinzia Bernardeshi, Marco Cococcioni, Maurizio Palmieri

Track

NASA Formal Methods 2024 NFM

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 5 Jun 2024 10:30 - 10:55 at Ballroom - FM for Learning-enabled Systems Chair(s): Misty Davies

Federico Rossi

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

Cinzia Bernardeshi

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

Marco Cococcioni

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

Maurizio Palmieri

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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