13 citations · 15 across the 3 of their papers we have counts for
3 papers
Context-aware, Ante-hoc Explanations of Driving Behaviour
Dominik Grundt, Ishan Saxena, Malte Petersen +2
Autonomous vehicles (AVs) must be both safe and trustworthy to gain social acceptance and become a viable option for everyday public transportation. Explanations about the system b…
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Dominik Grundt, Anna Köhne, Ishan Saxena +3
Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawye…
Verification of Sigmoidal Artificial Neural Networks using iSAT
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann +2
This paper presents an approach for verifying the behaviour of nonlinear Artificial Neural Networks (ANNs) found in cyber-physical safety-critical systems. We implement a dedicated…