@inproceedings{dblp-conf-hybrid-anandm0z22,
  title = {k-Inductive Barrier Certificates for Stochastic Systems},
  author = {Mahathi Anand and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2022},
  url = {https://dblp.org/rec/conf/hybrid/AnandM0Z22},
  booktitle = {HSCC 2022}
}