research
∙
11/02/2022
Verifying And Interpreting Neural Networks using Finite Automata
Verifying properties and interpreting the behaviour of deep neural netwo...
share
research
∙
09/21/2022
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes
Otto's Theorem characterises the bisimulation-invariant PTIME queries ov...
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
∙
08/24/2021
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics
We investigate the expressive power of the two main kinds of program log...
research
∙
09/23/2020
Local Higher-Order Fixpoint Iteration
Local fixpoint iteration describes a technique that restricts fixpoint i...
research
∙
03/05/2018