Jad Saklawi

  • Citations Per Year
Learn More
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 substructure M ′ (with the same initial state) that satisfies η. Thus, M can be “repaired” to satisfy the specification η by deleting some transitions. We map an instance (M,η) of model(More)
  • 1