Jad Saklawi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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