Measuring and Synthesizing Systems in Probabilistic Environments.

Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh

Published in: CAV (2010)

Keyphrases

computer systems
dynamic environments
learning algorithm
learning systems
distributed systems
management system
information systems
artificial intelligence
data structure
relational databases
website
metadata
knowledge based systems
building blocks
neural network
systems require
interactive systems