Benedikt Böing: Verification of unsupervised neural networks. Technical University of Dortmund, Germany 2023