Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems

Documenti analoghi

• Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
  di: Xue, Bai, et al.
  Pubblicazione: (2026)
• Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
  di: Cao, Zhipeng, et al.
  Pubblicazione: (2025)
• Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
  di: Xue, Bai, et al.
  Pubblicazione: (2025)
• Finite-time 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)