research
∙
06/29/2022
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Automated vehicles (AV) heavily depend on robust perception systems. Cur...
research
∙
04/25/2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules
The safety of Automated Vehicles (AV) as Cyber-Physical Systems (CPS) de...
research
∙
01/11/2019