Verification of Sigmoidal Artificial Neural Networks using iSAT. - Dominik Grundt; Sorin Liviu Jurj; Willem Hagemann; Paul Kröger; Martin Fränzle (SNR, 2021)

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. - Dominik Grundt; Anna Köhne; Ishan Saxena; Ralf Stemmer; Bernd Westphal; Eike Möhlmann (FMAS/ASYDE@SEFM, 2022)

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems. - Philipp Borchers; Tjark Koopmann; Lukas Westhofen 001; Jan Steffen Becker; Lina Putze; Dominik Grundt; Thies de Graaff; Vincent Kalwa; Christian Neurohr (Sci. Comput. Program., 2025)

What does AI need to know to drive: Testing relevance of knowledge. - Dominik Grundt; Astrid Rakow; Philipp Borchers; Eike Möhlmann (Sci. Comput. Program., 2025)

Runtime monitoring of complex scenario-based requirements for autonomous driving functions. - Ralf Stemmer; Ishan Saxena; Lukas Panneke; Dominik Grundt; Anna Austel; Eike Möhlmann; Bernd Westphal (Sci. Comput. Program., 2025)