A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks

Documenti analoghi

• Lecture Notes on Verifying Graph Neural Networks
  di: Schwarzentruber, François
  Pubblicazione: (2025)
• Almost Surely Asymptotically Constant Graph Neural Networks
  di: Adam-Day, Sam, et al.
  Pubblicazione: (2024)
• The Descriptive Complexity of Graph Neural Networks
  di: Grohe, Martin
  Pubblicazione: (2023)
• Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
  di: Aniva, Leni, et al.
  Pubblicazione: (2026)
• Verifying Quantized Graph Neural Networks is PSPACE-complete
  di: Sälzer, Marco, et al.
  Pubblicazione: (2025)