Verification of neural network behaviour: Formal guarantees for power system applications
A Venzke, S Chatzivasileiadis - IEEE Transactions on Smart …, 2020 - ieeexplore.ieee.org
This paper presents for the first time, to our knowledge, a framework for verifying neural
network behavior in power system applications. Up to this moment, neural networks have …
network behavior in power system applications. Up to this moment, neural networks have …
Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
A Venzke, S Chatzivasileiadis - arXiv e-prints, 2019 - ui.adsabs.harvard.edu
This paper presents for the first time, to our knowledge, a framework for verifying neural
network behavior in power system applications. Up to this moment, neural networks have …
network behavior in power system applications. Up to this moment, neural networks have …
Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
A Venzke, S Chatzivasileiadis - IEEE Transactions on Smart Grid, 2021 - orbit.dtu.dk
This paper presents for the first time, to our knowledge, aframeworkforverifyingneuralnetworkbehav…
power system applications. Up to this moment, neural networks have been applied in power …
power system applications. Up to this moment, neural networks have been applied in power …
Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
A Venzke, S Chatzivasileiadis - arXiv preprint arXiv:1910.01624, 2019 - arxiv.org
This paper presents for the first time, to our knowledge, a framework for verifying neural
network behavior in power system applications. Up to this moment, neural networks have …
network behavior in power system applications. Up to this moment, neural networks have …