Abstract Model Repair

George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros +1

Given a Kripke structure M and CTL formula $\phi$, where M does not satisfy $\phi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\phi$. Moreover, the chan…