2 citations · 2 across the 2 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…