Login / Signup
Symbolic parallel adaptive importance sampling for probabilistic program analysis.
Yicheng Luo
Antonio Filieri
Yuan Zhou
Published in:
ESEC/SIGSOFT FSE (2021)
Keyphrases
</>
importance sampling
monte carlo
markov chain
kalman filter
rare events
probabilistic model
bayesian networks
approximate inference
particle filtering
graphical models
markov chain monte carlo