Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
arXiv:2604.20208v1 Announce Type: new
Abstract: Safety of stochastic dynamic systems in environments with dynamic obstacles is studied in this paper through the lens of stochastic barrier functions. We introduce both time-invariant and time-varying ba…