@inproceedings{dblp-conf-atva-davekmt22,
  title = {Optimal Repair for Omega-Regular Properties},
  author = {Vrunda Dave and Shankara Narayanan Krishna and Vishnu Murali and Ashutosh Trivedi},
  year = {2022},
  url = {https://dblp.org/rec/conf/atva/DaveKMT22},
  booktitle = {ATVA 2022}
}