Optimal Repair for Omega-Regular Properties.

Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi

Browse the full ATVA paper archive.