Auf dem Weg zu verifizierten und gezielten Erklärungen durch formale Methoden

arXiv:2604.14209v1 Da tiefe neuronale Netze in sicherheitskritischen Bereichen wie autonomem Fahren und medizinischer Diagnose eingesetzt werden, benötigen Stakeholder Erklärungen, die verständlich sind und formale Garantien bieten. Bestehende XAI-Methoden werden dem nicht gerecht.