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