Probabilistic Hyperproperties with Nondeterminism.

Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour Oyendrila Dobe

Published in: ATVA (2020)

Keyphrases

situation calculus
probabilistic model
decision trees
generative model
context sensitive
database
databases
artificial intelligence
bayesian networks
conditional probabilities
probabilistic interpretation