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]

@inproceedings{BahnsenF19,
  title = {Approximation of Neural Networks for Verification},
  author = {Fin Hendrik Bahnsen and Görschwin Fey},
  year = {2019},
  url = {https://ieeexplore.ieee.org/document/8727156/},
  researchr = {https://researchr.org/publication/BahnsenF19},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019},
  publisher = {VDE Verlag},
  isbn = {978-3-8007-4945-4},
}