Validation of Reinforcement Learning Agents and Safety Shields with ProB (NASA Formal Methods 2024 - NFM 2024) - NASA Formal Methods 2024

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

Who

Fabian Vu, Jannik Dunkelau, Michael Leuschel

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

Thu 6 Jun 2024 10:55 - 11:20 at Ballroom - FM for Automotive Systems Chair(s): Michael R. Lowry

Fabian Vu

Heinrich-Heine-Universität

Germany

Jannik Dunkelau

Heinrich-Heine-Universität

Germany

Michael Leuschel

University of Düsseldorf

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

Thu 6 Jun
Displayed time zone: Pacific Time (US & Canada) change

	10:30 - 12:30	FM for Automotive SystemsNFM 2024 at Ballroom Chair(s): Michael R. Lowry NASA Ames Research Center

	10:30 25m Talk		Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems NFM 2024 Till Schallau TU Dortmund University, Stefan Naujokat TU Dortmund University, Fiona Kullmann TU Dortmund University, Falk Howar TU Dortmund University
	10:55 25m Talk		Validation of Reinforcement Learning Agents and Safety Shields with ProB NFM 2024 Fabian Vu Heinrich-Heine-Universität, Jannik Dunkelau Heinrich-Heine-Universität, Michael Leuschel University of Düsseldorf
	11:20 25m Talk		Contract-driven Runtime Adaptation NFM 2024 Eunsuk Kang Carnegie Mellon University, Akila Ganlath Toyota InfoTech Labs, Shatadal Mishra Toyota Motor North America R&D, InfoTech Labs, Florin Baiduc Woven by Toyota, Inc., Nejib Ammar Toyota Motor North America R&D, InfoTech Labs
	11:45 15m Talk		Topplet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries NFM 2024 Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Christian Neurohr DLR e.V. Institute of Systems Engineering for Future Mobility, Danel Neider TU Dortmund University, Jean Christoph Jung TU Dortmund University
	12:00 15m Talk		A Formal Verification Framework for Runtime Assurance NFM 2024 J Tanner Slagel NASA Langley Research Center, Lauren White NASA, Aaron Dutle NASA Langley Research Center, Cesar Munoz NASA, Nicolas Crespo NASA