Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models Download Tags: 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 License: Creative Commons 2.5 Submitted by Abhishek Murthy on Fri, 11/07/2014 - 11:31