research
∙
10/13/2022
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
The safety of automated driving systems must be justified by convincing ...
share
research
∙
09/26/2022
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation
Safety critical systems are typically subjected to hazard analysis befor...
research
∙
06/10/2021
