@misc{indiciaeeb6ee902fd52,
  title = {Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment},
  author = {Mustafa Adam and Kangfeng Ye and David A. Anisi and Ana Cavalcanti and Jim Woodcock and Robert Morris},
  year = {2025},
  doi = {10.1109/case56687.2023.10260395},
  url = {https://arxiv.org/abs/2506.19620},
  note = {Source identifier: 2506.19620}
}