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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results