research
∙
11/02/2022
Verifying And Interpreting Neural Networks using Finite Automata
Verifying properties and interpreting the behaviour of deep neural netwo...
share
research
∙
06/10/2022
We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification
Graph Neural Networks (GNN) are commonly used for two tasks: (whole) gra...
research
∙
03/15/2022
Reachability In Simple Neural Networks
We investigate the complexity of the reachability problem for (deep) neu...
research
∙
08/30/2021
Reachability Is NP-Complete Even for the Simplest Neural Networks
We investigate the complexity of the reachability problem for (deep) neu...
research
∙
09/23/2020