Certified Neural Approximations of Nonlinear Dynamics

Documenti analoghi

• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
  di: Vertovec, Nikolaus, et al.
  Pubblicazione: (2025)
• Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
  di: Solanki, Prashant, et al.
  Pubblicazione: (2025)
• A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
  di: Mathiesen, Frederik Baymler, et al.
  Pubblicazione: (2024)
• Data-Driven Permissible Safe Control with Barrier Certificates
  di: Mazouz, Rayan, et al.
  Pubblicazione: (2024)
• IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
  di: Mathiesen, Frederik Baymler, et al.
  Pubblicazione: (2024)