@INPROCEEDINGS{TeuberICTAI21,
  author={Teuber, Samuel and Kleine Büning, Marko and Kern, Philipp and Sinz, Carsten},
  booktitle={IEEE 33rd International Conference on Tools with Artificial Intelligence},
  eventtitleaddon = {{ICTAI}~2021},
  venue           = {virtual},
  eventdate       = {2021-11-01/2021-11-03},
  title={Geometric Path Enumeration for Equivalence Verification of Neural Networks}, 
  year={2021},
  month = {nov},
  volume={},
  number={},
  pages={200-208},
  doi={10.1109/ICTAI52525.2021.00035}
}