1 citations · 1 across the 1 of their papers we have counts for
2 papers
stat.AP2021★ 1 cited
Model-based Pre-clinical Trials for Medical Devices Using Statistical Model Checking
Haochen Yang, Jicheng Gu, Zhihao Jiang
Clinical trials are considered as the golden standard for medical device validation. However, many sacrifices have to be made during the design and conduction of the trials due to…
cs.FL2021
Environment Modeling During Model Checking of Cyber-Physical Systems
Guangyao Chen, Zhihao Jiang
Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for v…