Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment | IEEE Conference Publication | IEEE Xplore