9 citations · 9 across the 1 of their papers we have counts for
1 paper
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros +1
Given a Kripke structure M and CTL formula φ, where M does not satisfy φ, the problem of Model Repair is to obtain a new model M' such that M' satisfies φ. Moreover, the chan…