TY  - RPRT
TI  - A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
AU  - Luca Laurenti
AU  - Morteza Lahijanian
PY  - 2025
UR  - https://arxiv.org/abs/2310.01802
ID  - 2310.01802
ER  -