chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
hybrid systems
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)
