12 citations · 17 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022★ 3 cited
Verifying And Interpreting Neural Networks using Finite Automata
Marco Sälzer, Eric Alsmann, Florian Bruse +1
Verifying properties and interpreting the behaviour of deep neural networks (DNN) is an important task given their ubiquitous use in applications, including safety-critical ones, a…
cs.LO2022
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes
Florian Bruse, David Kronenberger, Martin Lange
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus, hinging on the Immerman-Vardi…