Search Results - Adam, Mustafa
- Showing 1 - 2 results of 2
-
1
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems by Adam, Mustafa, Anisi, David A., Ribeiro, Pedro
Published 2025Fuente: arXivPreprintAcceso al recurso -
2
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment by Adam, Mustafa, Ye, Kangfeng, Anisi, David A., Cavalcanti, Ana, Woodcock, Jim, Morris, Robert
Published 2025Fuente: arXivPreprintAcceso al recurso