219 citations · 219 across the 5 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
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…
eess.SY2025
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…