2 citations · 3 across the 3 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2022★ 2 cited
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh +2
Automated vehicles (AV) heavily depend on robust perception systems. Current methods for evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation metho…
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…