Picture for Adina Aniculaesei

Adina Aniculaesei

TU Clausthal, Germany

Connected Dependability Cage Approach for Safe Automated Driving

Add code
Jul 12, 2023
Viaarxiv icon

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

Add code
Dec 15, 2016
Figure 1 for Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Figure 2 for Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Figure 3 for Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Figure 4 for Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Viaarxiv icon