DiPro - A Tool for Probabilistic Counterexample Generation.

Husain Aljazzar Florian Leitner-Fischer Stefan Leue Dimitar Simeonov

Published in: SPIN (2011)

Keyphrases

bayesian networks
probabilistic model
case study
generative model
data streams
information technology
artificial neural networks
probability distribution
user friendly
software tools
generation process