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
∙
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