@inproceedings{dblp-conf-cdc-anandm0z21,
  title = {Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates},
  author = {Mahathi Anand and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2021},
  url = {https://dblp.org/rec/conf/cdc/AnandM0Z21},
  booktitle = {CDC 2021}
}