Willem Hagemann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Martin Fränzle
8 publications
Astrid Rakow
4 publications
Paul Kröger
3 publications
Werner Damm
3 publications
Dominik Grundt
2 publications
Sorin Liviu Jurj
1 publication

research

∙ 07/14/2022

Verification of Sigmoidal Artificial Neural Networks using iSAT

This paper presents an approach for verifying the behaviour of nonlinear...

0 Dominik Grundt, et al. ∙

research

∙ 10/25/2021

Towards a Formalisation of Justification and Justifiability

We introduce the logic QKSD which is a normal multi-modal logic over fin...

0 Willem Hagemann, et al. ∙

research

∙ 10/31/2019

Dynamic Conflict Resolution Using Justification Based Reasoning

We study conflict situations that dynamically arise in traffic scenarios...

0 Werner Damm, et al. ∙

research

∙ 05/28/2019

Justification Based Reasoning in Dynamic Conflict Resolution

We study conflict situations that dynamically arise in traffic scenarios...

0 Werner Damm, et al. ∙