TY - THES A1 - Rössig, Ansgar T1 - Verification of Neural Networks KW - Neural Network Verification Y1 - 2019 ER - TY - THES A1 - Weltsch, André T1 - Fast Approximation of Equations of transient Gasflow Y1 - 2018 ER -