Risultati della ricerca - Alexander, Rob
- Mostra 1 - 3 risultati su 3
-
1
Causal Explanations from the Geometric Properties of ReLU Neural Networks Autoría: Woods, Hector, Ryan, Philippa, Alexander, Rob
Pubblicazione 2026Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Autoría: Proma, Nawshin Mannan, Hodge, Victoria J, Alexander, Rob
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration Autoría: Gleirscher, Mario, Calinescu, Radu, Douthwaite, James, Lesage, Benjamin, Paterson, Colin, Aitken, Jonathan, Alexander, Rob, Law, James
Pubblicazione 2021Fuente: arXivTipo de material: PreprintAcceso al recurso