Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems

Documents similaires

• Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
  par: Cao, Zhipeng, et autres
  Publié: (2025)
• PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
  par: Wu, Taoran, et autres
  Publié: (2026)
• Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
  par: Xue, Bai, et autres
  Publié: (2026)
• PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
  par: Wu, Taoran, et autres
  Publié: (2025)
• Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  par: Xue, Bai
  Publié: (2024)