Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. - Benedikt Böing; Rajarshi Roy 002; Emmanuel Müller; Daniel Neider (ECML/PKDD (2), 2020)

QUGA - Quality Guarantees for Autoencoders. - Benedikt Böing; Rajarshi Roy 002; Daniel Neider; Emmanuel Müller (OVERLAY@GandALF, 2021)

Neural Network Verification with DSE. - Benedikt Böing; Falk Howar; Jelle Hüntelmann; Emmanuel Müller; Richard Stewing (OVERLAY@AI*IA, 2022)

On Training and Verifying Robust Autoencoders. - Benedikt Böing; Emmanuel Müller (DSAA, 2022)

Post-Robustifying Deep Anomaly Detection Ensembles by Model Selection. - Benedikt Böing; Simon Klüttermann; Emmanuel Müller (ICDM, 2022)

Interpretable Anomaly Detection via Discrete Optimization. - Simon Lutz; Florian Wittbold; Simon Dierl; Benedikt Böing; Falk Howar; Barbara König 001; Emmanuel Müller; Daniel Neider (CoRR, 2023)

Verification of unsupervised neural networks. - Benedikt Böing (2023)