Probabilistic Hyperproperties with Nondeterminism.

Erika Ábrahám Ezio Bartocci Borzoo Bonakdarpour Oyendrila Dobe

Published in: CoRR (2020)

Keyphrases

probabilistic model
bayesian networks
data driven
probabilistic reasoning
real time
genetic algorithm
artificial intelligence
information systems
reinforcement learning
uncertain data
probabilistic networks