Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment

Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
January, 2023
Cite DOI
Type
Conference paper
Publication
2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)