Login / Signup
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.
Zhenqi Huang
Chuchu Fan
Alexandru Mereacre
Sayan Mitra
Marta Z. Kwiatkowska
Published in:
CAV (2014)
Keyphrases
</>
hybrid automata
finite state automata
network structure
social networks
image analysis
signature verification
matching algorithm
model checking
invariant features
patient specific
training data
complex networks
affine transformation
tagged mri