2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
As neural networks (NNs) become increasingly prevalent in safety-critical neural network-controlled cyber-physical systems (NNCSs), formally guaranteeing their safety becomes cruci…