@inproceedings{dblp-conf-cdc-murali0024,
  title = {Barrier Certificates for Weighted Automata-based Specifications},
  author = {Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2024},
  url = {https://dblp.org/rec/conf/cdc/Murali0024},
  booktitle = {CDC 2024}
}