Model Refinement (NASA Formal Methods 2024 - NFM 2024) - NASA Formal Methods 2024

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

Who

Douglas Smith, Srinivas Nedunuri

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

When

Tue 4 Jun 2024 16:00 - 16:25 at Ballroom - SMT-based Assurance of Behavioral Specifications Chair(s): Kristin Yvonne Rozier

Douglas Smith

Kestrel Institute

United States

Srinivas Nedunuri

Sandia National Laboratories

United States

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

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 Chair(s): Kristin Yvonne Rozier Iowa State University

	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