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