Dominik Grundt | DeepAI

DeepAI

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

Featured Co-authors

Martin Fränzle
8 publications
Willem Hagemann
4 publications
Paul Kröger
3 publications
Eike Möhlmann
3 publications
Ralf Stemmer
2 publications
Bernd Westphal
2 publications
Anna Köhne
2 publications
Sorin Liviu Jurj
1 publication
Ishan Saxena
1 publication

research

∙ 09/28/2022

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

Autonomous driving functions (ADFs) in public traffic have to comply wit...

0 Dominik Grundt, et al. ∙

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