Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti 0001, Jim Woodcock 0001, Robert Morris. Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. In 19th IEEE International Conference on Automation Science and Engineering, CASE 2023, Auckland, New Zealand, August 26-30, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.