2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
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…
Model Checking Clinical Decision Support Systems Using SMT
Mohammad Hekmatnejad, Andrew M. Simms, Georgios Fainekos
Individual clinical Knowledge Artifacts (KA) are designed to be used in Clinical Decision Support (CDS) systems at the point of care for delivery of safe, evidence-based care in mo…