@article{aframeworkforsafeprobabilisticinvariance,
  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},
  eprint = {2404.09007},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2404.09007v2},
}