TY  - RPRT
TI  - Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
AU  - Andreas Venzke
AU  - Spyros Chatzivasileiadis
PY  - 2020
DO  - 10.1109/tsg.2020.3009401
UR  - https://arxiv.org/abs/1910.01624
ID  - 1910.01624
ER  -