TY - RPRT TI - Enabling Verification of Deep Neural Networks in Perception Tasks Using Fuzzy Logic and Concept Embeddings AU - Gesina Schwalbe AU - Christian Wirth AU - Ute Schmid PY - 2022 UR - https://arxiv.org/abs/2201.00572 ID - 2201.00572 ER -