P. Jones

Bifurcation Analysis of Cardiac Alternans Using δ-Decidability

Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016 .

Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

Rance Cleaveland, Radu Grosu, Scott A. Smolka, 2018, Theor. Comput. Sci..

Myocardial tolerance to mechanical actuation is affected by biomaterial characteristics.

J. Lowe, R. Perez-Tamayo, M. Anstadt, 1994, ASAIO journal (1992).

Lagrangian Reachabililty pdf

Radu Grosu, Scott A. Smolka, Paul L. Jones, 2017, CAV.