Measuring and Synthesizing Systems in Probabilistic Environments.

Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh

Published in: J. ACM (2015)

Keyphrases

machine learning
data driven
intelligent systems
real world
bayesian networks
social networks
case study
expert systems
retrieval systems