Ítems similars

• Set-Based Training for Neural Network Verification
  per: Koller, Lukas, et al.
  Publicat: (2024)
• Fully Automatic Neural Network Reduction for Formal Verification
  per: Ladner, Tobias, et al.
  Publicat: (2023)
• Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
  per: Wendl, Manuel, et al.
  Publicat: (2024)
• Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
  per: Ladner, Tobias, et al.
  Publicat: (2024)
• Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
  per: Kranzlmüller, Miriam, et al.
  Publicat: (2026)