TY  - RPRT
TI  - Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
AU  - Mustafa Adam
AU  - Kangfeng Ye
AU  - David A. Anisi
AU  - Ana Cavalcanti
AU  - Jim Woodcock
AU  - Robert Morris
PY  - 2025
DO  - 10.1109/case56687.2023.10260395
UR  - https://arxiv.org/abs/2506.19620
ID  - 2506.19620
ER  -