@article{dblp-journals-csysl-oumermtz24,
  title = {Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates},
  author = {Mohammed Adib Oumer and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2024},
  url = {https://dblp.org/rec/journals/csysl/OumerMTZ24},
  journal = {IEEE Control. Syst. Lett. 8}
}