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

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