5 citations · 8 across the 3 of their papers we have counts for
6 papers
On Scenario Formalisms for Automated Driving
Christian Neurohr, Lukas Westhofen, Tjark Koopmann +3
The concept of scenario and its many qualifications -- specifically logical and abstract scenarios -- have emerged as a foundational element in safeguarding automated driving syste…
Implicit Incompressible Porous Flow using SPH
Timna Böttcher, Stefan Rhys Jeske, Lukas Westhofen +1
We present a novel implicit porous flow solver using SPH, which maintains fluid incompressibility and is able to model a wide range of scenarios, driven by strongly coupled solid-f…
Grasping Causality for the Explanation of Criticality for Automated Driving
Tjark Koopmann, Christian Neurohr, Lina Putze +3
The verification and validation of automated driving systems at SAE levels 4 and 5 is a multi-faceted challenge for which classical statistical considerations become infeasible. Fo…
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment
Maike Scholtes, Lukas Westhofen, Lara Ruth Turner +11
Verification and validation of automated driving functions impose large challenges. Currently, scenario-based approaches are investigated in research and industry, aiming at a redu…
Fundamental Considerations around Scenario-Based Testing for Automated Driving
Christian Neurohr, Lukas Westhofen, Tabea Henning +3
The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activi…
Benchmarking Software Model Checkers on Automotive Code
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from…