Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure.
Tobias LadnerMichael EichelbeckMatthias AlthoffPublished in: CoRR (2024)
Keyphrases
- graph structure
- formal verification
- graph structures
- graphical models
- directed graph
- weighted graph
- graph representations
- directed acyclic
- model checking
- undirected graph
- graph model
- network analysis
- normalized cut
- social networks
- edge weights
- temporal logic
- network structure
- markov chain
- model checker
- heat kernel
- association rules
- feature space