Parameter Synthesis for Probabilistic Hyperproperties.

Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour Oyendrila Dobe

Published in: LPAR (2020)

Keyphrases

probabilistic model
generative model
uncertain data
bayesian networks
neural network
hidden markov models
probabilistic approaches
data sets
databases
image processing
decision trees
conditional probabilities
posterior probability
context sensitive
input parameters
program synthesis