Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics

DOI10.1007/978-3-642-33386-6_2zbMath1375.68087OpenAlexW2207154365MaRDI QIDQ4649284

P. S. Thiagarajan, Sucheendra K. Palaniappan

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ Automatically finding the right probabilities in Bayesian networks

This page was built for publication: Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics