Revision of CTL Models.

Paulo T. Guerra Renata Wassermann

Published in: IBERAMIA (2010)

Keyphrases

belief revision
experimental data
probabilistic model
machine learning
d objects
process model
statistical model
temporal logic
belief change