Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes

Documenti analoghi

• Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
  di: Ladner, Tobias, et al.
  Pubblicazione: (2024)
• Fully Automatic Neural Network Reduction for Formal Verification
  di: Ladner, Tobias, et al.
  Pubblicazione: (2023)
• Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
  di: Lützow, Laura, et al.
  Pubblicazione: (2025)
• Out of the Shadows: Exploring a Latent Space for Neural Network Verification
  di: Koller, Lukas, et al.
  Pubblicazione: (2025)
• Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
  di: Wendl, Manuel, et al.
  Pubblicazione: (2024)