Eric Alsmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Martin Lange
8 publications
Marco Sälzer
5 publications
Florian Bruse
4 publications

research

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

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

0 Eric Alsmann, et al. ∙