TY  - RPRT
TI  - Optimal Repair For Omega-regular Properties
AU  - Vrunda Dave
AU  - Shankara Narayanan Krishna
AU  - Vishnu Murali
AU  - Ashutosh Trivedi
PY  - 2022
UR  - https://arxiv.org/abs/2207.13416
ID  - 2207.13416
ER  -