chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Mereacre, Alexandru
2014
Huang, Zhenqi
Fan, Chuchu
Mereacre, Alexandru
Mitra, Sayan
Kwiatkowska, Marta
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Computer Aided Verification – 26th International Conference, (CAV)
2015
Huang, Zhenqi
Fan, Chuchu
Mereacre, Alexandru
Mitra, Sayan
Kwiatkowska, Marta
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage
IEEE Design {&} Test
