Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
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) analysis, optimal power flow (OPF) estimation, and cascading failure analysis (CFA). Despite this growing use, formally verifying GNN-based mod...
Anne M. Tumlin, Ben Wooding, Zhenxuan Shao et al.
· SAIV · 1 citation