Skip to content

GUM-compliant neural network robustness verification - a Masters thesis