ludwig10_masters_thesis

This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the uncertainty propagation portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".

This package accompanies my Master's thesis on GUM-compliant neural network robustness verification and provides an implementation using PySCIPOpt.