Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction

Documenti analoghi

• Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
  di: Lin, Albert, et al.
  Pubblicazione: (2025)
• One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
  di: Lin, Albert, et al.
  Pubblicazione: (2024)
• Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
  di: Chakraborty, Kaustav, et al.
  Pubblicazione: (2022)
• An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
  di: Bajcsy, Andrea, et al.
  Pubblicazione: (2019)
• Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
  di: Singh, Aditya, et al.
  Pubblicazione: (2024)