Qualitative Logics and Equivalences for Probabilistic Systems.

Luca de Alfaro Krishnendu Chatterjee Marco Faella Axel Legay

Published in: QEST (2007)

Keyphrases

data driven
knowledge based systems
database
knowledge base
expert systems
distributed systems
computer systems
generative model
complex systems
expressive power
neural network
probability distribution
management system
intelligent systems
building blocks
utility theory