Testing Preorders for Probabilistic Processes.
Rance CleavelandScott A. SmolkaAmy E. ZwaricoPublished in: ICALP (1992)
Keyphrases
- probabilistic model
- bayesian networks
- uncertain data
- information theoretic
- neural network
- genetic algorithm
- software engineering
- generative model
- test cases
- context sensitive
- probabilistic logic
- stochastic processes
- probabilistic reasoning
- posterior probability
- process model
- relational databases
- case study
- machine learning