Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification

Documenti analoghi

• Compositional Curvature Bounds for Deep Neural Networks
  di: Entesari, Taha, et al.
  Pubblicazione: (2024)
• Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
  di: Sharifi, Sina, et al.
  Pubblicazione: (2024)
• Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
  di: Chen, Shaoru, et al.
  Pubblicazione: (2024)
• Actor-Critic Physics-informed Neural Lyapunov Control
  di: Wang, Jiarui, et al.
  Pubblicazione: (2024)
• Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
  di: Manda, Lakshmideepakreddy, et al.
  Pubblicazione: (2024)