Safety Assessment of Automated Driving Systems Using Simulation-based Testing and Formal Methods

Research output: Types of thesis › Doctoral thesis

Contributors

Details

Original languageEnglish
Qualification levelDr.-Ing.
Awarding Institution
Supervisors/Advisors
  • Janschek, Klaus, Supervisor
Defense Date (Date of certificate)11 Mar 2024
Publication statusPublished - 2024
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis