Login / Signup

Symbolic parallel adaptive importance sampling for probabilistic program analysis.

Yicheng LuoAntonio FilieriYuan 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