@misc{indiciae395b79be787a,
  title = {Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems},
  author = {Bai Xue and Luke Ong and Dominik Wagner and Peixin Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2509.18518},
  note = {Source identifier: 2509.18518}
}