• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Probabilistic Hyperproperties with Nondeterminism.

Erika ÁbrahámEzio BartocciBorzoo BonakdarpourOyendrila 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