@misc{indiciaefc16c610b44c,
  title = {Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems},
  author = {Arash Bahari Kordabad and Rupak Majumdar and Sadegh Soudjani},
  year = {2025},
  url = {https://arxiv.org/abs/2510.25513},
  note = {Source identifier: 2510.25513}
}