research
∙
07/31/2023
Formally Explaining Neural Networks within Reactive Systems
Deep neural networks (DNNs) are increasingly being used as controllers i...
share
research
∙
10/25/2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
With the rapid growth of machine learning, deep neural networks (DNNs) a...
research
∙
07/02/2022
