Cyranka, J., Islam, M. A., Byrne, G., Jones, P. L., Smolka, S. A., & Grosu, R. (2017). Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. Presented at the. https://doi.org/10.1007/978-3-319-63387-9_19
Islam, M. A., Cleaveland, R., FENTON, F. L. A. V. I. O. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005(Original work published 2018)
