[GKHP24]
Leonardo Guevara, Muhammad Khalid, Marc Hanheide and Simon Parsons.
Probabilistic model-checking of collaborative robots: A human injury assessment in agricultural applications.
Computers and Electronics in Agriculture.
2024.
[Analyses the safety risks of collaborative robots in
agricultural scenarios using probabilistic model checking and PRISM.]
|
Links:
[Google]
[Google Scholar]
|