# Ali Cherri

- Citations Per Year

- Citations Per Year

- Full text PDF available (1)

Learn More

- Paul C. Attie, Ali Cherri, Kinan Dak Al Bab, Mohamad Sakr, Jad Saklawi
- MEMOCODE
- 2015

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
- ›