1 citations · 1 across the 1 of their papers we have counts for
1 paper
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali +1
This paper presents an optimization based framework to automate system repair against omega-regular properties. In the proposed formalization of optimal repair, the systems are rep…