152 citations · 164 across the 8 of their papers we have counts for
11 papers
Assessing the Quality of Concrete Scenarios Generated from Scenario Classes for Automated Driving
Lina Putze, Thies de Graaff, Jan Steffen Becker +1
A scenario-based development approach has become state of the art for automated driving systems. Once a set of scenario classes covering the operational design domain is available,…
Towards Efficient Certification of Maritime Remote Operation Centers
Christian Neurohr, Marcel Saager, Lina Putze +5
Additional automation being build into ships implies a shift of crew from ship to shore. However, automated ships still have to be monitored and, in some situations, controlled rem…
Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Roman Gansch, Lina Putze, Tjark Koopmann +2
Ensuring safe operation of safety-critical complex systems interacting with their environment poses significant challenges, particularly when the system's world model relies on mac…
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…
On Quantification for SOTIF Validation of Automated Driving Systems
Lina Putze, Lukas Westhofen, Tjark Koopmann +2
Automated driving systems are safety-critical cyber-physical systems whose safety of the intended functionality (SOTIF) can not be assumed without proper argumentation based on app…
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…
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
Lukas Westhofen, Christian Neurohr, Martin Butz +2
Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated…
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art
Lukas Westhofen, Christian Neurohr, Tjark Koopmann +6
The large-scale deployment of automated vehicles on public roads has the potential to vastly change the transportation modalities of today's society. Although this pursuit has been…
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…
Computing period matrices and the Abel-Jacobi map of superelliptic curves
Pascal Molin, Christian Neurohr
We present an algorithm for the computation of period matrices and the Abel-Jacobi map of complex superelliptic curves given by an equation . It relies on rigorous numeri…