MIT

Building Safe Autonomy

Main menu

Biblios

2015
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage

IEEE Design {&} Test
2014
Invariant verification of nonlinear hybrid automata networks of cardiac cells

Computer Aided Verification – 26th International Conference, (CAV)
2013
Image super-resolution via analysis sparse prior

IEEE Signal Processing Letters