Guevara, L., Khalid, M., Hanheide, M., & Parsons, S. (2024). Probabilistic model-checking of collaborative robots: a human injury assessment in agricultural applications. Computers and Electronics in Agriculture, 222, Article 108987. https://doi.org/10.1016/j.compag.2024.108987