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]
No reviews for this publication, yet.