@misc{indiciaec6da60cc0f4b,
  title = {\$k\$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems},
  author = {Mohammed Adib Oumer and Vishnu Murali and Majid Zamani},
  year = {2026},
  url = {https://arxiv.org/abs/2504.15412},
  note = {Source identifier: 2504.15412}
}