Assume-Guarantee Verification for Probabilistic Systems.

Marta Z. Kwiatkowska Gethin Norman David Parker Hongyang Qu

Published in: TACAS (2010)

Keyphrases

expert systems
management system
real time
data sets
neural network
decision making
knowledge base
probability distribution
distributed systems
data driven
intelligent systems
generative model
learning systems
retrieval systems
formal methods