Dominik Grundt

According to our database, Dominik Grundt authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

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