Login / Signup

Dynamic Bayesian networks for formal verification of structured stochastic processes.

Sadegh Esmaeil Zadeh SoudjaniAlessandro AbateRupak Majumdar
Published in: Acta Informatica (2017)
Keyphrases
  • stochastic processes
  • dynamic bayesian networks
  • formal verification
  • model checking
  • bayesian networks
  • particle filtering
  • approximate inference
  • structure learning
  • state variables
  • random variables