Login / Signup

CTL Model Update for System Modifications.

Yan ZhangYulin Ding
Published in: J. Artif. Intell. Res. (2008)
Keyphrases
  • ctl model update
  • minimal change
  • model checking
  • belief revision