
Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
Venzke, Andreas, Chatzivasileiadis, SpyrosAnnée:
2020
Journal:
IEEE Transactions on Smart Grid
DOI:
10.1109/TSG.2020.3009401
Fichier:
PDF, 1.06 MB
2020