- Title:
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Ladner, Tobias; Eichelbeck, Michael; Althoff, Matthias
- Journal title:
- arxiv
- Year:
- 2024
- Fulltext / DOI:
- doi:10.48550/ARXIV.2404.15065
- Date of publication:
- 01.01.2024
- BibTeX