Approximation of Neural Networks for Verification

Fin Hendrik Bahnsen, Görschwin Fey. Approximation of Neural Networks for Verification. In 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. pages 1-10, VDE Verlag, 2019. [doi]

Abstract

Abstract is missing.