AUB ScholarWorks

Browsing by Author "Sakr, Mouhammad Issam,"

Browsing by Author "Sakr, Mouhammad Issam,"

Sort by: Order: Results:

  • 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 ...

Search AUB ScholarWorks

Browse

My Account