Dominik Grundt

According to our database, Dominik Grundt authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems.

Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr

Sci. Comput. Program., 2025

2022

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

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2021

Verification of Sigmoidal Artificial Neural Networks using iSAT.

Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021