research
∙
04/20/2023
On Quantification for SOTIF Validation of Automated Driving Systems
Automated driving systems are safety-critical cyber-physical systems who...
share
research
∙
02/22/2023
SymX: Energy-based Simulation from Symbolic Expressions
Optimization time integrators have proven to be effective at solving com...
research
∙
10/27/2022
Grasping Causality for the Explanation of Criticality for Automated Driving
The verification and validation of automated driving systems at SAE leve...
research
∙
05/03/2022
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
Knowledge representation and reasoning has a long history of examining h...
research
∙
08/05/2021
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art
The large-scale deployment of automated vehicles on public roads has the...
research
∙
12/09/2020
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment
Verification and validation of automated driving functions impose large ...
research
∙
05/08/2020
Fundamental Considerations around Scenario-Based Testing for Automated Driving
The homologation of automated vehicles, being safety-critical complex sy...
research
∙
03/26/2020
