@misc{indiciaede38accd1e5d,
  title = {Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications},
  author = {Andreas Venzke and Spyros Chatzivasileiadis},
  year = {2020},
  doi = {10.1109/tsg.2020.3009401},
  url = {https://arxiv.org/abs/1910.01624},
  note = {Source identifier: 1910.01624}
}