Testing Preorders for Probabilistic Processes.

Rance Cleaveland Zeynep Dayar Scott A. Smolka Shoji Yuen

Published in: Inf. Comput. (1999)

Keyphrases

test cases
information theoretic
genetic algorithm
decision making
bayesian networks
process model
probabilistic logic
artificial intelligence
knowledge base
website
learning environment
probabilistic model
generative model