Verifying an Aircraft Collision Avoidance Neural Network with Marabou (NASA Formal Methods 2023 - NFM 2023) - NASA Formal Methods 2023

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Who

Cong Liu, Darren Cofer, Denis Osipychev

Track

NASA Formal Methods 2023 NFM

Time Zone

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

Use conference time zone: (GMT-05:00) Central 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

When

Tue 16 May 2023 15:15 - 15:30 - Machine Learning #1 Chair(s): Aaron Dutle

Cong Liu

Collins

United States

Darren Cofer

Collins Aerospace

United States

Denis Osipychev

Time Zone

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

Use conference time zone: (GMT-05:00) Central 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

Session Program

Tue 16 May
Displayed time zone: Central Time (US & Canada) change

	14:00 - 15:30	Machine Learning #1NFM 2023 Chair(s): Aaron Dutle NASA Langley Research Center

	14:00 25m Talk		Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations NFM 2023 Satoshi Munakata Fujitsu, Caterina Urban Inria & École Normale Supérieure \| Université PSL, Haruki Yokoyama , Koji Yamamoto Fujitsu, Kazuki Munakata Fujitsu
	14:25 25m Talk		Veriﬁcation of LSTM Neural Networks with Non-linear Activation Functions NFM 2023 Farzaneh Moradkhani Carl von Ossietzky Universität Oldenburg, Connor Fibich , Martin Fränzle
	14:50 25m Talk		Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes NFM 2023 Niklas Kochdumper Stony Brook University, Christian Schilling Aalborg University, Matthias Althoff Technichal University of Munich, Stanley Bak Stony Brook University Pre-print
	15:15 15m Talk		Verifying an Aircraft Collision Avoidance Neural Network with Marabou NFM 2023 Cong Liu Collins, Darren Cofer Collins Aerospace, Denis Osipychev