Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models Download closed-loop Stony Brook University CPS Domains Medical Devices Control Modeling Health Care Simulation Validation and Verification Foundations National CPS PI Meeting 2014 2014 Poster Academia CPSPI MTG 2014 Posters, Videos and Abstracts Submitted by Abhishek Murthy on Fri, 11/07/2014 - 11:31