Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems

Documenti analoghi

• Efficient Verification and Falsification of ReLU Neural Barrier Certificates
  di: Ren, Dejin, et al.
  Pubblicazione: (2025)
• Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)
• Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)
• PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
  di: Wu, Taoran, et al.
  Pubblicazione: (2025)
• PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
  di: Wu, Taoran, et al.
  Pubblicazione: (2026)