| Quality guarantees for autoencoders via unsupervised adversarial attacks B Böing, R Roy, E Müller, D Neider Machine Learning and Knowledge Discovery in Databases: European Conference …, 2021 | 6 | 2021 |
| Post-Robustifying Deep Anomaly Detection Ensembles by Model Selection B Böing, S Klüttermann, E Müller 2022 IEEE International Conference on Data Mining (ICDM), 861-866, 2022 | 2 | 2022 |
| On training and verifying robust autoencoders B Böing, E Müller 2022 IEEE 9th International Conference on Data Science and Advanced …, 2022 | 1 | 2022 |
| Interpretable Anomaly Detection via Discrete Optimization S Lutz, F Wittbold, S Dierl, B Böing, F Howar, B König, E Müller, D Neider arXiv preprint arXiv:2303.14111, 2023 | | 2023 |
| Verification of unsupervised neural networks B Böing | | 2023 |
| Neural Network Verification with DSE. B Böing, F Howar, J Hüntelmann, E Müller, R Stewing OVERLAY@ AI* IA, 1-6, 2022 | | 2022 |
| Introducing Quality Guarantees for Autoencoders B Böing, R Roy, D Neider, E Müller 3rd Workshop on Artificial Intelligence and Formal Verification, Logic …, 2021 | | 2021 |
