Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka. Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765:158-169, 2019. [doi]
Abstract is missing.