{"id":"arxiv/2604.20208","url":"https://arxiv.org/abs/2604.20208","tags":["cs.RO","math.PR"],"score":0,"title":"Stochastic Barrier Certificates in the Presence of Dynamic Obstacles","domain":"cs.RO","source":"arxiv","authors":["Rayan Mazouz","Luca Laurenti","Morteza Lahijanian"],"reviews":0,"subject":"cs.RO","summary":"In this work, we focus on safety verification of stochastic systems in dynamic environments. We introduce both time-invariant and time-varying barrier certificates for discrete-time, continuous-space systems subject to uncertainty, which provide certified lower bounds on the probability of remaining within a safe set over a finite horizon. These certificates explicitly account for time-varying unsafe regions induced by obstacle dynamics. By leveraging Bellman's optimality perspective, the time-varying formulation directly captures temporal structure and yields less conservative bounds than…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-22","reactions":{}}