@inproceedings{dblp-conf-amcc-muralitz24,
  title = {Falsification via Barrier Certificates},
  author = {Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2024},
  url = {https://dblp.org/rec/conf/amcc/MuraliTZ24},
  booktitle = {ACC 2024}
}