Abstraction

Clinical Assist System for Cardiac Ablation
Iterative enumeration and update of suspected heart conditions can improve the rigorousness and efficiency of cardiac ablation.
Zhihao Jiang, Guangyao Chen, Yining She, Renzhi Tang, Zeyu Li
Clinical Assist System for Cardiac Ablation
Closed-loop Model Checking of Cyber-Physical Systems
Using formal methods to evaluate the safety of Cyber-Physical Systems within their complex environment with large variability.
Zhihao Jiang, Guangyao Chen, Yining She, Haochen Yang
Closed-loop Model Checking of Cyber-Physical Systems