Md. Islam

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. 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)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian Reachtubes: The Next Generation.