1 paper · 1 filter
Adrian Wurm
In this paper we investigate formal verification problems for Neural Network computations. Various reachability problems will be in the focus, such as: Given symbolic specification…