Technical Report: Abstraction-Tree For Closed-loop Model Checking of Medical Devices

Jiang, ZhihaoAbbas, HoussamMosterman, Pieter JMangharam, Rahul2023-05-222023-05-222015-05-062015-05-04https://repository.upenn.edu/handle/20.500.14332/40686CPS MedicalComputer EngineeringElectrical and Computer EngineeringTechnical Report: Abstraction-Tree For Closed-loop Model Checking of Medical DevicesReport