@misc{indiciaed57179c40c8e,
  title = {Sufficient and Necessary Smooth Barrier-like Conditions for Continuous-Time Stochastic Reach-Avoid Verification},
  author = {Bai Xue},
  year = {2026},
  url = {https://arxiv.org/abs/2609.23981},
  note = {Source identifier: 2609.23981}
}