Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features

Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3

Graph neural networks (GNNs) have become a prominent approach for developing fast, topology-aware surrogates in electric power systems, supporting tasks such as power flow (PF) ana…