Development of probabilistic timed CEGAR.

Satoshi Yamane Takaya Shimizu

Published in: ICSAI (2014)

Keyphrases

learning algorithm
bayesian networks
software engineering
development process
data mining
decision making
metadata
case study
multi agent
learning environment
probabilistic model
generative model
rapid development
development environment
probabilistic logic
probabilistic approaches