3 papers
eess.SY2026
PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
Taoran Wu, Dominik Wagner, C. -H. Luke Ong +1
We investigate the problem of establishing finite-time probabilistic safety guarantees for discrete-time stochastic dynamical systems subject to unknown disturbance distributions,…
eess.SY2026
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
Taoran Wu, Dominik Wagner, Jingduo Pan +3
This paper investigates the problem of safety certification for black-box discrete-time stochastic systems, where both the system dynamics and disturbance distributions are unknown…
eess.SY2025
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
Zhipeng Cao, Peixin Wang, Luke Ong +3
In this paper, we compare several representative barrier-like conditions from the literature for infinite-horizon reach-avoid verification of stochastic discrete-time systems. Our…