@article{dblp-journals-csysl-muralitz22,
  title = {A Scenario Approach for Synthesizing k-Inductive Barrier Certificates},
  author = {Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2022},
  url = {https://dblp.org/rec/journals/csysl/MuraliTZ22},
  journal = {IEEE Control. Syst. Lett. 6}
}