Risultati della ricerca - Adam, Mustafa

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems di Adam, Mustafa, Anisi, David A., Ribeiro, Pedro

Testo

Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment di Adam, Mustafa, Ye, Kangfeng, Anisi, David A., Cavalcanti, Ana, Woodcock, Jim, Morris, Robert

Testo