Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska

Browse the full CAV paper archive.