%0 Journal Article
%K Probabilistic reachability
%K Cardiac modeling
%K Cardiac alternans
%K Bifurcation analysis
%K Formal methods
%K Hybrid systems
%B Theoretical Computer Science
%D 2018
%G eng
%R https://doi.org/10.1016/j.tcs.2018.02.005
%T Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
%U http://www.sciencedirect.com/science/article/pii/S0304397518300823
%8 02/2018