Deakstadieđáhus: Analysis of robust neural networks for control