TY  - RPRT
TI  - Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
AU  - Bai Xue
AU  - Luke Ong
AU  - Dominik Wagner
AU  - Peixin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2509.18518
ID  - 2509.18518
ER  -