SMT-Based Aircraft Conflict Detection and Elimination (NASA Formal Methods 2024 - NFM 2024)

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

Who

Saswata Paul, Baoluo Meng, Christopher Alexander

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

Tue 4 Jun 2024 16:50 - 17:15 at Ballroom - SMT-based Assurance of Behavioral Specifications

Saswata Paul

GE Research

United States

Baoluo Meng

GE Research

United States

Christopher Alexander

GE Research

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

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

16:00 - 17:30	SMT-based Assurance of Behavioral SpecificationsNFM 2024 at Ballroom

16:00 25m Talk		Model Refinement NFM 2024 Douglas Smith Kestrel Institute, Srinivas Nedunuri Sandia National Laboratories
16:25 25m Talk		Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis NFM 2024 Hussein Sibai Washington University in St. Louis, Sacha Huriot Washington University in St. Louis, Tyler Martin Washington University in St. Louis, Murat Arcak University of California, Berkeley
16:50 25m Talk		SMT-Based Aircraft Conflict Detection and Elimination NFM 2024 Saswata Paul GE Research, Baoluo Meng GE Research, Christopher Alexander GE Research