@misc{indiciaeaf92e79cde2c,
  title = {Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems},
  author = {Bai Xue},
  year = {2026},
  url = {https://arxiv.org/abs/2408.15572},
  note = {Source identifier: 2408.15572}
}