Introducing Asynchronicity to Probabilistic Hyperproperties.

Lina Gerlach Oyendrila Dobe Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour

Published in: CoRR (2023)

Keyphrases

probabilistic model
bayesian networks
generative model
probabilistic databases
neural network
information technology
relational databases
graphical models
first order logic
posterior probability
context sensitive
uncertain data
probabilistic interpretation
probabilistic formulation