Login / Signup
A Study of the Model Explosion Problem in CTL Model Update.
Yulin Ding
Yan Zhang
Published in:
SEKE (2008)
Keyphrases
</>
theoretical framework
database
dynamic programming
multiple agents