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 2019 · cs.SEShow all

1 paper · 2 filters

cs.SE2019

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…