Login / Signup
Dominik Grundt
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Signature Verification
Autonomous Driving
Vc Dimension
Vision Algorithms
Top Venues
SNR
FMAS/ASYDE@SEFM
</>
Publications
</>
Dominik Grundt
,
Anna Köhne
,
Ishan Saxena
,
Ralf Stemmer
,
Bernd Westphal
,
Eike Möhlmann
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions.
FMAS/ASYDE@SEFM
(2022)
Dominik Grundt
,
Sorin Liviu Jurj
,
Willem Hagemann
,
Paul Kröger
,
Martin Fränzle
Verification of Sigmoidal Artificial Neural Networks using iSAT.
SNR
(2021)