2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…