TY - RPRT TI - Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties AU - Raik Dankworth AU - Gesina Schwalbe PY - 2025 UR - https://arxiv.org/abs/2510.03320 ID - 2510.03320 ER -