Sakr, Mouhammad Issam,
(2014)
We consider the following model repair problem: given a finite Kripke structure M and a specification formula η in some modal or temporal logic, determine if M contains a sub-structure Ḿ that satisfies η. That is, can M ...