activity
20192022
most citedFormalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.RO2020★ 1 cited

Search-based Test-Case Generation by Monitoring Responsibility Safety Rules

Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos

The safety of Automated Vehicles (AV) as Cyber-Physical Systems (CPS) depends on the safety of their consisting modules (software and hardware) and their rigorous integration. Deep…