Conservative Safety Monitors of Stochastic Dynamical Systems (NASA Formal Methods 2023 - NFM 2023)

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

Who

Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

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

Save

When

Tue 16 May 2023 10:30 - 10:55 - Control and Hybrid Systems Chair(s): Julia Badger

Matthew Cleaveland

University of Pennsylvania

United States

Ivan Ruchkin

University of Florida

United States

Oleg Sokolsky

University of Pennsylvania, USA

United States

Insup Lee

University of Pennsylvania

United States

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

Display full programSpecify a time band

Save

Session Program

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

10:30 - 12:10	Control and Hybrid SystemsNFM 2023 Chair(s): Julia Badger NASA

10:30 25m Talk		Conservative Safety Monitors of Stochastic Dynamical Systems NFM 2023 Matthew Cleaveland University of Pennsylvania, Ivan Ruchkin University of Florida, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania
10:55 25m Talk		Reasoning with Metric Temporal Logic and Resettable Skewed Clocks NFM 2023 Alberto Bombardelli FBK, Stefano Tonetta Fondazione Bruno Kessler, Italy
11:20 25m Talk		Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems NFM 2023 Elias Khalife Virginia Tech, Pierre-Loic Garoche Ecole Nationale de l'Aviation Civile, Mazen Farhood Virginia Tech
11:45 25m Talk		Reward Shaping from Hybrid Systems Models in Reinforcement Learning NFM 2023 Marian Qian Carnegie Mellon University, Stefan Mitsch Carnegie Mellon University, USA