--
Julien Girard-Satabin
(Université Paris-Saclay)
Neural networks are becoming an increasingly popular class of programs. However, their relative lack of safety presents an obstacle
to their wide acceptance yet to be tackled. To approximate complex behaviours, neural networks rely on piece-wise linear activation
functions in their control flow. This piece-wise linear behaviour yield regions on ...