Abstract: The robustness of convolutional neural networks (CNNs) is vital to modern AI-driven systems. It can be quanti-fied by formal verification by providing a certified lower bound, within which ...
Abstract: For the transient synchronous stability of phase-locked loop based voltage source converter grid-tied systems, the generalized swing equation (GSE) is believed as very important. In this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback