Sign in
A pre-expectation calculus for probabilistic sensitivity.
Alejandro Aguirre
Gilles Barthe
Justin Hsu
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
generative model
probabilistic model
bayesian networks
machine learning
sensitivity analysis
data sets
information retrieval
information systems
multiscale
information theoretic
context sensitive
probabilistic reasoning
probabilistic logic