StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
arXiv:2602.20359v1 Announce Type: cross Abstract: We present StochasticBarrier.jl, an open-source Julia-based toolbox for generating Stochastic Barrier Functions (SBFs) for safety verification of discrete-time stochastic systems...