@misc{indiciaeb8bdb95d9dcc,
  title = {A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems},
  author = {Taoran Wu and Yiqing Yu and Bican Xia and Ji Wang and Bai Xue},
  year = {2024},
  url = {https://arxiv.org/abs/2404.09007},
  note = {Source identifier: 2404.09007}
}