Schwalbe, Wirth, Schmid, 2022. Enabling Verification of Deep Neural Networks in Perception Tasks Using Fuzzy Logic and Concept Embeddings.