2 citations · 3 across the 10 of their papers we have counts for
1 paper · 1 filter
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…