Moradkhani, Farzaneh (2024) Verification of Neural Networks Containing Non-Linear Activation Functions. PhD, Universität Oldenburg.