A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 represented as Kripke structures, the properties as ω-regular languages, and the repair space as repair machines – weighted omega-regular transducers equipped with Büchi conditions – that rewrite strings and associate a cost sequence to these rewritings. To translate the resulting cost-sequences to easily interpretablearXiv:2207.13416v1 fatcat:2kxezzunzvftvmv6oiaqon7gke