Martin Lange | DeepAI

DeepAI AI Chat

Featured Co-authors

Marco Sälzer
5 publications
Florian Bruse
4 publications
Eric Alsmann
2 publications
Jörg Kreiker
1 publication
David Kronenberger
1 publication
Arno Ehle
1 publication
Norbert Hundeshagen
1 publication

∙ 11/02/2022

Verifying And Interpreting Neural Networks using Finite Automata

Verifying properties and interpreting the behaviour of deep neural netwo...

0 Marco Sälzer, et al. ∙

∙ 09/21/2022

Capturing Bisimulation-Invariant Exponential-Time Complexity Classes

Otto's Theorem characterises the bisimulation-invariant PTIME queries ov...

0 Florian Bruse, et al. ∙

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

0 Marco Sälzer, et al. ∙

∙ 03/15/2022

Reachability In Simple Neural Networks

We investigate the complexity of the reachability problem for (deep) neu...

0 Marco Sälzer, et al. ∙

∙ 08/30/2021

Reachability Is NP-Complete Even for the Simplest Neural Networks

We investigate the complexity of the reachability problem for (deep) neu...

0 Marco Sälzer, et al. ∙

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

0 Eric Alsmann, et al. ∙

∙ 09/23/2020

Local Higher-Order Fixpoint Iteration

Local fixpoint iteration describes a technique that restricts fixpoint i...

0 Florian Bruse, et al. ∙

∙ 03/05/2018

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

The sequent calculus is a formalism for proving validity of statements f...

0 Arno Ehle, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world