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 references recorded for this publication.
No citations of this publication recorded.