TY - RPRT TI - Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions AU - Masoumeh Ghanbarpour AU - Sriram Sankaranarayanan PY - 2025 UR - https://arxiv.org/abs/2508.20204 ID - 2508.20204 ER -