13 citations · 15 across the 3 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…