Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Documenti analoghi

• Safe and Reliable Training of Learning-Based Aerospace Controllers
  di: Mandal, Udayan, et al.
  Pubblicazione: (2024)
• Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
  di: Wang, Chengxiao, et al.
  Pubblicazione: (2026)
• On Improving Deep Active Learning with Formal Verification
  di: Spiegelman, Jonathan, et al.
  Pubblicazione: (2025)
• Proof Minimization in Neural Network Verification
  di: Isac, Omri, et al.
  Pubblicazione: (2025)
• PICID: Proof-Driven Clause Learning in Neural Network Verification
  di: Isac, Omri, et al.
  Pubblicazione: (2025)