Resultados de búsqueda - Adam, Mustafa
- Mostrando 1 - 2 Resultados de 2
-
1
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems por Adam, Mustafa, Anisi, David A., Ribeiro, Pedro
Publicado 2025Fuente: arXivPreprintAcceso al recurso -
2
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment por Adam, Mustafa, Ye, Kangfeng, Anisi, David A., Cavalcanti, Ana, Woodcock, Jim, Morris, Robert
Publicado 2025Fuente: arXivPreprintAcceso al recurso