Probabilistic model-checking of collaborative robots: a human injury assessment in agricultural applications
(2024)
Journal Article
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
Current technology has made it possible to automate a number of agricultural processes that were traditionally carried out by humans and now can be entirely performed by robotic platforms. However, there are certain tasks like soft fruit harvesting,... Read More about Probabilistic model-checking of collaborative robots: a human injury assessment in agricultural applications.