Search Results for author:
Found 2 papers, 0 papers with code
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
Graph neural networks are becoming increasingly popular in the field of machine learning due to their unique ability to process data structured in graphs.
Contingency-constrained economic dispatch with safe reinforcement learning
The contingency constraint is computed using set-based backwards reachability analysis and actions of the RL agent are verified through a safety layer.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
