Model Updating CTL Systems.

Yulin Ding Yan Zhang

Published in: Australian Conference on Artificial Intelligence (2005)

Keyphrases

management system
probabilistic model
genetic algorithm
computational models
statistical model
experimental data
temporal properties
database
neural network model
model checking
complex systems
prior knowledge
multi agent
objective function
bayesian networks
decision making
neural network