Login / Signup

An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.

Yulin DingDavid Hemer
Published in: PRICAI (2010)
Keyphrases
  • probabilistic model
  • objective function
  • np hard
  • dynamic programming
  • ctl model update
  • computational complexity
  • em algorithm