Extending XReason: Formal Explanations for Adversarial Detection. - Amira Jemaa; Adnan Rashid; Sofiène Tahar (CoRR, 2025)